Commits

Joe Groff committed 8cecd9fcf74
AST: ProtocolConformance::getInheritedConformance() should preserve specialization. When applying getInheritedConformance to a specialized conformance, reapply the specialization to the found inherited conformance so we get a conformance for the same type we put in, making the specializer's job easier when finding conformances to insert into archetype_methods. To expose the problems this fixes, add a check in the SIL verifier that ArchetypeMethodInsts carry a ProtocolConformance that actually matches their lookup type. Swift SVN r12988