Commits

Doug Gregor committed c88f5b77a56
When checking protocol conformance for a given archetype, be sure to substitute that archetype (and all of the associated types it determines) into the type of the candidate. Among other things, this allows us to assign archetype T that conforms to a protocol P into an existential type that conforms to P. Swift SVN r2202