testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T2478.hs
1 {-# LANGUAGE ExistentialQuantification, DatatypeContexts #-}
2
3 module ShouldCompile where
4
5 data Eq t => TrafoE t = forall env2 . TrafoE Int t
6
7 newSRef () = TrafoE