Fix #13819 by refactoring TypeEqOrigin.uo_thing
[ghc.git] / testsuite / tests / typecheck / should_fail / T11356.stderr
1
2 T11356.hs:3:7: error:
3     • Expected kind ‘k0 -> Constraint’, but ‘T p’ has kind ‘Constraint’
4     • In the class declaration for ‘C’