swift234

Fix 'definitive type binding' heuristic to allow binding so long as we
have a unique concrete type below the type variable.

This is a modest win with < 1% reduction in the number of constraint
systems explored and < 1% speedup, but it gets our 'is definitive'
heuristics in line.


Swift SVN r3117