swift234

Specialize polymorphic function types when applying overloaded
declaration references.

This allows us to tighten up the assertion that only metatypes are
passing through function applications to the old type
checker. Previously, some polymorphic function types were getting
passed through.

The commented part of this test is another (unrelated) bug uncovered
by the change above, where we end up deducing a tuple type with
embedded lvalue types, which is awful.


Swift SVN r4686