Skip to content

Reject type family equation with wrong name (#20260)

Krzysztof Gogolewski requested to merge wip/T20260 into master

We should reject

type family Foo where Bar = ()

This check was done in kcTyFamInstEqn but not in tcTyFamInstEqn.

I factored out arity checking, which was duplicated.

Fixes #20260 (closed).

Merge request reports