swift234

Remove the "type checker cannot handle well-typed expressions" error,
since we're now applying solved constraints to an expression to
produce a well-typed expression. The resulting expressions are now
returned and run through the verifier, so deal with some of the
byref(implicit) fallout.


Swift SVN r2835