Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / polykinds / T9222.stderr
1
2 T9222.hs:14:3: error:
3     • Couldn't match type ‘c0’ with ‘c’
4         ‘c0’ 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:14:3-43
9       ‘c’ is a rigid type variable bound by
10         the type of the constructor ‘Want’:
11           forall i1 j1 (a :: (i1, j1)) (b :: i1) (c :: j1).
12           ((a ~ '(b, c)) => Proxy b) -> Want a
13         at T9222.hs:14:3-43
14     • In the ambiguity check for ‘Want’
15       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
16       In the definition of data constructor ‘Want’
17       In the data type declaration for ‘Want’