ghc/tests/typecheck/should_fail/tcfail065.stderr

   1
   2 tcfail065.hs:29:
   3     Inferred type is less polymorphic than expected
   4         Quantified type variable `x' escapes
   5         It is mentioned in the environment
   6         The following variables in the environment mention `x'
   7     When checking the type signature
   8         setX :: forall _1201. _1201 -> X _120 -> X _120
   9     In the definition for method `setX'
  10
  11
  12 Compilation had errors
  13