Skip to content

Do not create nested quantified constraints

Richard Eisenberg requested to merge wip/t17202 into master

Commit message:

Do not create nested quantified constraints

Previously, we would accidentally make constraints like
forall a. C a => forall b. D b => E a b c as we traversed
superclasses. No longer!

Close #17202 and #16502.

test cases: typecheck/should_compile/T{17202,16502}

Merge request reports