Doug Gregor cf5424b617 [GSB] Move the Recursive(Concrete|Superclass)Type bits into EquivalenceClass. ...

Recursive concrete and superclass constraints are detected
per-equivalence-class; record them that way.

Use that information to drop recursive concrete and superclass
constraints from the resulting signature, which frees the canonical
generic signature builder from having to worry about such recursive
constraints. This eliminates the invalid-code crashes introduced in
the prior commit that disabled finalization for the canonical GSBs, as
well as fixing one other random crash-on-invalid.

2017-05-15 22:05:07 -07:00

452 B

Raw Permalink Blame History

View Raw