swift234

Eliminate the simplification phase that used the set of constraints
that apply directly to a given type variable. It's work was mainly
redundant: finding the simplification X < T and X < T ==> X == T,
which will can be solved directly elsewhere, and dropping redundant
constraints (which the solver should handle anyway).



Swift SVN r3077