Slava Pestov bc968c699a Sema: Nuke getGenericTypeContextDepth() ...

Now that ConstraintSystem::openGeneric() is the only remaining
caller of this function, inline it in there and open-code the
logic.

Also, add a hack for opening nominal types contained inside
protocol types. This is invalid, but we should not crash, so
bind the type variable for the protocol 'Self' type to the
'Self' archetype, since it will not be equated with anything
otherwise.

2016-06-16 22:57:30 -07:00

62 KiB

Raw Blame History

View Raw