swift234

Introduce a Solution::specialize() for generic function types.

This variant of specialize() uses the requirements list of the generic
function type to form the substitution list, rather than relying on
the polymorphic function type and all-archetypes lists.


Swift SVN r9518