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