swift234

Teach witness matching to use interface types appropriately.

This is one of the last few type checker clients of
PolymorphicFunctionType, where we were relying on opening archetypes
rather than generic parameters.


Swift SVN r9870