T5481 should jolly well fail
[ghc.git] / testsuite / tests / typecheck / should_compile / T5481.stderr
1
2 T5481.hs:6:5:
3     The RHS of an associated type declaration mentions type variable `b'
4       All such variables must be bound on the LHS
5
6 T5481.hs:8:5:
7     The RHS of an associated type declaration mentions type variable `a'
8       All such variables must be bound on the LHS