swift234

[Solver] Member constraints fully bind unless lhs/rhs type variables intersect.

A member constraint fully binds the type variables on the right-hand
side so long as those type variables don't intersect with the type
variables on the left-hand side. This prevents us from ignoring
perfectly good bindings due to a constraint like $T0[.Self] = $T0, not
that the library uses this work around any more. Fixes
<rdar://problem/14005696>.


Swift SVN r7165