Robert Widmann f479f27420 Turn on circularity checks for ProtocolCompositions ...

When resolving protocol composition types, using the
old type checker to resolve the type manually instead
of the iterative type checker submits a recursive-but-
satisfiable request to the ITC.  This way we directly
resolve through TypeCheckType and can catch the
circularity before it takes down the compiler.

2017-08-14 03:55:22 -07:00

430 B

Raw Permalink Blame History

View Raw