testsuite/tests/typecheck/should_fail/tcfail209a.stderr

   1
   2 tcfail209a.hs:3:6:
   3     Illegal tuple constraint: (Show a, Num a)
   4       (Use -XConstraintKinds to permit this)
   5     In the type signature for ‛g’:
   6       g :: ((Show a, Num a), Eq a) => a -> a