testsuite/tests/typecheck/should_compile/T15788.hs


1
2
3
4
5
6
7
8
9
10
11

{-# Language RankNTypes       #-}
{-# Language GADTs            #-}
{-# Language TypeApplications #-}
{-# Language PolyKinds        #-}

{-# Options_GHC -dcore-lint #-}
module T15788 where
import Data.Kind

data A :: forall k. Type where
 MkA :: A @k