Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T10503.stderr
1
2 T10503.hs:8:6: error:
3     • Could not deduce: k ~ *
4       from the context: Proxy 'KProxy ~ Proxy 'KProxy
5         bound by a type expected by the context:
6                    (Proxy 'KProxy ~ Proxy 'KProxy) => r
7         at T10503.hs:8:6-85
8       ‘k’ is a rigid type variable bound by
9         the type signature for:
10           h :: forall k r. ((Proxy 'KProxy ~ Proxy 'KProxy) => r) -> r
11         at T10503.hs:8:6-85
12     • In the ambiguity check for ‘h’
13       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
14       In the type signature:
15         h :: forall r.
16              (Proxy ( 'KProxy :: KProxy k) ~ Proxy ( 'KProxy :: KProxy *) => r)
17              -> r