path: root/testsuite/tests/linear/should_fail/LinearKind3.hs

{-# LANGUAGE LinearTypes, KindSignatures, DataKinds #-}
module LinearKind3 where -- T18780

import GHC.Exts
import GHC.Types

type K = Type %1 -> Type
data T :: K