Allow foralls in instance decls
[ghc.git] / testsuite / tests / typecheck / should_fail / T11355.stderr
1 \r
2 T11355.hs:5:7: error:\r
3     • Illegal polymorphic type: forall (a :: TYPE t0). a\r
4       GHC doesn't yet support impredicative polymorphism\r
5     • In the expression:\r
6         const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))\r
7       In an equation for ‘foo’:\r
8           foo\r
9             = const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))\r