Doug Gregor 75cb941440 [Constraint System] Kill the ArchetypeOpener; bind type variables instead. NFC ...

The ArchetypeOpener was used only to replace dependent types with
archetypes (or concrete types) within the opening context. We can do
the same simply by letting the constraint system create type variables
and then binding those type variables to the appropriate
archetypes/concrete types in that context.

Eliminate the two DependentTypeOpener entry points that were only used
by the ArchetypeOpener.

2016-01-02 15:28:12 -08:00

60 KiB

Raw Blame History

View Raw