69e850caf81a9b7d07f66d389336ec0f622f5b4f
[ghc.git] / testsuite / tests / polykinds / T9222.stderr
1
2 T9222.hs:13:3: error:
3     • Couldn't match type ‘b0’ with ‘b’
4         ‘b0’ is untouchable
5           inside the constraints: a ~ '(b0, c0)
6           bound by the type of the constructor ‘Want’:
7                      (a ~ '(b0, c0)) => Proxy b0
8           at T9222.hs:13:3
9       ‘b’ is a rigid type variable bound by
10         the type of the constructor ‘Want’:
11           forall i j (a :: (i, j)) (b :: i) (c :: j).
12           ((a ~ '(b, c)) => Proxy b) -> Want a
13         at T9222.hs:13:3
14       Expected type: Proxy b0
15         Actual type: Proxy b
16     • In the ambiguity check for ‘Want’
17       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
18       In the definition of data constructor ‘Want’
19       In the data type declaration for ‘Want’