swift234

[Constraint solver] Revert r5360, "Prefer type variable bindings to non-existentials."

See <rdar://problem/13991850> (Existential type deduced?) for explanation

Swift SVN r5368