Do not discard insoluble Derived constraints
[ghc.git] / testsuite / tests / typecheck / should_fail / T7368a.stderr
1
2 T7368a.hs:8:6:
3     Couldn't match kind ‘*’ with ‘* -> *’
4     When matching types
5       f :: * -> *
6       Bad :: (* -> *) -> *
7     Expected type: f (Bad f)
8       Actual type: Bad t0
9     Relevant bindings include
10       fun :: f (Bad f) -> Bool (bound at T7368a.hs:8:1)
11     In the pattern: Bad x
12     In an equation for ‘fun’: fun (Bad x) = True