Fix scoping of pattern-synonym existentials
[ghc.git] / testsuite / tests / patsyn / should_fail / T11265.stderr
1
2 T11265.hs:6:12: error:
3     • Pattern synonym ‘A’ cannot be used here
4         (pattern synonyms cannot be promoted)
5     • In the first argument of ‘F’, namely ‘A’
6       In the instance declaration for ‘F A’