Don't invoke dataConSrcToImplBang on newtypes
[ghc.git] / testsuite / tests / typecheck / should_compile / T16141.hs
1 {-# LANGUAGE GADTs #-}
2 {-# LANGUAGE ScopedTypeVariables #-}
3 {-# LANGUAGE StrictData #-}
4 {-# LANGUAGE TypeFamilies #-}
5 module T16141 where
6
7 data family T1
8 newtype instance T1 = MkT1 Int
9 deriving Eq
10
11 newtype T2 a b where
12 MkT2 :: forall b a. Int -> T2 a b
13 deriving Eq