Assertion failure on unlifted binding
This program causes an assertion failure in HEAD, or, if assertions are off, a panic in lookupIdSubst
:
{-# LANGUAGE DataKinds, KindSignatures, ExplicitForAll #-}
module T where
import GHC.Exts
a = let x :: forall (a :: TYPE IntRep). a
x = error ""
in ()