Tighten checking for associated type instances
[ghc.git] / testsuite / tests / polykinds / T10570.stderr
1
2 T10570.hs:10:10: error:
3     • Illegal instance declaration for ‘ConsByIdx2 Int a Proxy cls’
4         The coverage condition fails in class ‘ConsByIdx2’
5           for functional dependency: ‘x -> m’
6         Reason: lhs type ‘Int’ does not determine rhs type ‘Proxy’
7         Un-determined variable: k
8         Use -fprint-explicit-kinds to see the kind arguments
9     • In the instance declaration for ‘ConsByIdx2 Int a Proxy cls’