Skip to content

WIP: Check for unconstrained superclass kind vars

Richard Eisenberg requested to merge wip/t17562 into master

Commit message

Check for unconstrained superclass kind vars

See Note [Unquantifiable kind variables] in TcTyClsDecls.

The actual fix for this is relatively short. Getting a good
error message printed takes much more code!

test cases: typecheck/should_compile/T17562
            typecheck/should_fail/T17562b

Closes #17562.

Tag #17562 (closed).

Edited by Ben Gamari

Merge request reports