swift234

Allow unresolved conforms-to constraints in solutions with free type variables.

When we're allowing solutions to have free type variables, also allow
the system to have unresolved conformance constraints. These
correspond to requirements on the generic parameters for the eventual
solution. Fixes <rdar://problem/14680393>.


Swift SVN r7043