Joe Groff 57d9ad0a03 Remove Module parameter from GenericEnvironment::mapTypeOutOfContext. ...

The substitution only replaces archetypes with abstract generic parameters, so no conformance lookup is necessary, and we can provide a "lookup" callback now that just vends abstract conformances.

(Ideally, we'd be able to do this for mapTypeIntoContext too, but we run into problems with generic signatures with same-type constraints on associated types with protocol requirements. Mapping `t_0_0.AssocType` into such a context will require conformance lookup for the concrete type replacement, since same-type Requirements don't preserve the conformances that satisfy the protocol requirements for the same-type relationship.)

2016-12-15 10:56:19 -08:00

153 KiB

Raw Blame History

View Raw