testsuite: Add testcase for #16394
[ghc.git] / testsuite / tests / typecheck / should_fail / T16394.stderr
1 T16394.hs:6:10: error:
2     Illegal class instance: ā€˜C a => C b => C (a, b)ā€™
3       Class instances must be of the form
4         context => C ty_1 ... ty_n
5       where ā€˜Cā€™ is a class