Pavel Yaskevich 0a178fd263 [ConstraintGraph] Disallow subtype constraint contractions ...

Presently subtype constraint is considered a candidate for contraction
via `shouldContractEdge` when left-hand side of the subtype constraint
is an inout type with type variable inside. Although it's intended to
be used only in combination with BindParam constraint assigned to the
same variable, that is actually never checked and contraction of subtype
constraint like that is invalid.

Resolves: rdar://problem/34333874

2017-09-11 15:13:13 -07:00

719 B

Raw Permalink Blame History

View Raw