Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / ExpandSynsFail1.hs
1 type Foo = Int
2 type Bar = Bool
3
4 main = print $ (1 :: Foo) == (False :: Bar)