testsuite/tests/typecheck/should_fail/T10351.stderr


1
2
3
4
5
6


T10351.hs:6:1: error:
    Non type-variable argument in the constraint: C [t]
    (Use FlexibleContexts to permit this)
    When checking the inferred type
      f :: forall t. C [t] => t -> ()