swift234

Introduce a simplistic operation that applies a solved constraint
system to a given expression, rewriting the types in the expression
and performing conversions as necessary. Note that this is woefully
incomplete, and relies heavily on the existing type-coercion code.


Swift SVN r2831