swift234

Minor tweak to prefer the type bounding a type variable from below to
the type bounding the type variable above in cases where they are not
equal. Very tiny improvement in the # of constraint systems explored
(70, out of 18,980) and negligible time impact.


Swift SVN r3108