testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc203.hs
1 {-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
2 {-# LANGUAGE RankNTypes #-}
3
4 -- Check that we can have a forall after a forall
5
6 module Foo4 where
7
8 type AnyE a = forall err. Either err a
9
10 foo :: Monad m => AnyE (m t)
11 foo = undefined