Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / AssocTyDef02.stderr
1
2 AssocTyDef02.hs:6:14:
3     Unexpected type â€˜[b]’
4     In the default declaration for â€˜Typ’
5     A default declaration should have form
6       default Typ a = ...