Add 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882ced984655e90b'
[ghc.git] / testsuite / tests / typecheck / should_fail / T12966.hs
1 {-# LANGUAGE RankNTypes #-}
2 module T12966 where
3 -- This should fail with a proper error message, not a compiler panic.
4 type Maybeify c = forall d. (c d) => ((~) (Maybe d))