Skip to content

Don't allow import of TypeData cons to mention each other

Aaron Allen requested to merge aaronallen8455/ghc:aallen/23020/bad-import-decls into master

Fixes an issue where the user could import constructors promoted by -XTypeData with a constructor list containing other promoted cons of the same kind. A similar issue with associated type families is also fixed by this patch.

Fixes #23020

Edited by Aaron Allen

Merge request reports