Don't skip validity checks for built-in classes (#17355)
[ghc.git] / testsuite / tests / typecheck / should_compile / tc150.hs
1 {-# LANGUAGE RankNTypes, ScopedTypeVariables #-}
2
3 module ShouldCompile where
4
5 f v = (\ (x :: forall a. a->a) -> True) id -- 'c'