swift234

Make explicit protocol conformance checking more robust against
unsatisfied associated type requirements. Otherwise, we would assert
because substitution did not have a binding for the unsatisfied
archetypes. This whole conforms-to matching stuff will eventually be
rewritten, so it doesn't bother me that we don't continue checking
very far after failing to satisfy an associated type requirement.


Swift SVN r1958