941d23e35fb0f5c889a7c30f640645de8b338974
[ghc.git] / testsuite / tests / patsyn / should_fail / T9161-2.hs
1 {-# LANGUAGE PatternSynonyms #-}
2 {-# LANGUAGE DataKinds, KindSignatures, PolyKinds #-}
3
4 pattern PATTERN = ()
5
6 data Proxy (tag :: k) (a :: *)
7
8 wrongLift :: Proxy PATTERN ()
9 wrongLift = undefined