testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T7827.hs
1 {-# LANGUAGE ScopedTypeVariables #-}
2 module T7827 where
3
4 bug :: a -> ()
5 bug ((_ :: a) :: a) = ()