testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T12064.hs
1 {-# LANGUAGE ExistentialQuantification #-}
2 module T12064 where
3 import T12064a
4 data D = forall n. K n => DCon n