Tighten checking for associated type instances
[ghc.git] / testsuite / tests / indexed-types / should_fail / T11450.stderr
1
2 T11450.hs:9:8: error:
3     • Type indexes must match class instance head
4       Expected: T (Either a b)
5       Actual:   T (Either b a)
6     • In the type instance declaration for ‘T’
7       In the instance declaration for ‘C (Either a b)’