testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc198.hs
1 {-# LANGUAGE RankNTypes, ScopedTypeVariables #-}
2
3 -- This should work, because the type sig and the type
4 -- in the pattern match exactly
5
6 module Foo where
7
8 foo :: (forall a. a -> b) -> b
9 foo (f :: forall a. a -> b) = f undefined :: b