Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / T7019a.hs
1 {-# LANGUAGE FlexibleInstances #-}
2 {-# LANGUAGE TypeFamilies #-}
3 {-# LANGUAGE RankNTypes #-}
4
5 module T7019a where
6
7 class Context c where
8 func1 :: c -> String
9
10 -- Illegal forall in context
11 class (forall b. Context (Associated a b)) => Class a where
12 data Associated a :: * -> *
13
14