Skip to content

Fix #17067 by making data family type constructors actually injective

Ryan Scott requested to merge RyanGlScott/ghc:wip/T17067 into master

TcTyClsDecls.tcFamDecl1 was using NotInjective when creating data family type constructors, which is just plain wrong. This tweaks it to use Injective instead.

Fixes #17067 (closed).

Merge request reports