Higher-rank kinds lead to substitution assertion failure
DEBUG compiler, I see an assertion failure in substitution while abusing GHC.
Steps to reproduce
Compile this on a
data Q :: forall d. Type data HR :: (forall d. Type) -> Type x :: HR Q x = undefined
Type error: the inferred kind of
HR quantifies the kind of
d outside the higher-rank argument.
- GHC version used: HEAD
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information