swift234

Track the mapping from an expression to the overload set it generates,
so that we can then determine which overload was actually selected
within the current constraint system. Use this information to provide
a fully type-checked NewReferenceExpr with far less reliance on the
existing type checker.

I'm not happy with the way we deal with singleton overload sets, and
will likely rework it soon.


Swift SVN r2843