Kill varSetElems in tidyFreeTyCoVars
[ghc.git] / testsuite / tests / typecheck / should_fail / T11355.stderr
index 6837540..6c649e4 100644 (file)
@@ -1,6 +1,6 @@
 
 T11355.hs:5:7: error:
-    • Illegal polymorphic type: forall (a :: TYPE t0). a
+    • Illegal polymorphic type: forall (a :: TYPE t1). a
       GHC doesn't yet support impredicative polymorphism
     • In the expression:
         const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))