Refactor treatment of wildcards
[ghc.git] / testsuite / tests / typecheck / should_fail / T10351.stderr
1 \r
2 T10351.hs:6:1: error:\r
3     Non type-variable argument in the constraint: C [t]\r
4     (Use FlexibleContexts to permit this)\r
5     When checking the inferred type\r
6       f :: forall t. C [t] => t -> ()\r