ghc/tests/typecheck/should_fail/tcfail065.stderr

   1
   2 tcfail065.hs:28:
   3     Inferred type is less polymorphic than expected
   4         Quantified type variable `x' is unified with `x'
   5     Signature type:     forall x. x -> X x1 -> X x1
   6     Type to generalise: x -> X x -> X x
   7     When checking the type signature for `setX'
   8     In the definition for method `setX'