Commits
Doug Gregor committed db3aa6af5c6
When we deduce a generic argument for a generic parameter, verify that the deduced argument conforms to the protocols specified in the archetype. Collect the set of protocol-conformance records for later use. Swift SVN r2249