testsuite/tests/typecheck/should_fail/T15767.stderr


1
2
3
4
5
6
7
8
9


T15767.hs:7:5: error:
    • No instance for (C () b0) arising from a use of ‘x’
    • In the expression: x
      In an equation for ‘y’:
          y = x
            where
                x :: (C () b, C Bool b) => b
                x = f ()