Fix scoping of pattern-synonym existentials
[ghc.git] / testsuite / tests / polykinds / T5716.stderr
1
2 T5716.hs:13:33: error:
3     • Data constructor ‘U1’ cannot be used here
4         (perhaps you intended to use TypeInType)
5     • In the first argument of ‘I’, namely ‘(U1 DFInt)’
6       In the type ‘I (U1 DFInt)’
7       In the definition of data constructor ‘I1’