Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail195.hs
1 {-# LANGUAGE RankNTypes, GADTs #-}
2
3 module ShouldFail where
4
5 data Foo a where
6 Foo :: Int -> Foo (forall a. a)