swift234

Start factoring the solver's type matching to support multiple matches.

ConstraintSystem::matchTypes() currently believes that there is only
one way in which two types might match each other. That being patently
untrue, start capturing the set of conversions that could potentially
work, so that we can turn them into disjunctions if when.

No functionality change yet; this is just refactoring.


Swift SVN r9227