Chris Lattner 8ad365b30e Rework ReplaceDependentTypes to call into applyUnboundGenericArguments ...

to remap an unbound generic type into a bound generic type.  This shares
a common codepath to make way for future progress.

This exposed a case where we'd produce invalid ASTs in some testcases
in the validation tests because started asserting on the invalid code.
Solve this by detecting the problem and producing a circularity error.

Overall, NFC.

2016-03-06 22:50:53 -08:00

59 KiB

Raw Permalink Blame History

View Raw