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