summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T19109.stderr
blob: 83f60680dab17c37dbafe7e28c76939a572467ac (plain)
1
2
3
4

T19109.hs:6:4: error:
    Illegal visible type application in a pattern: ‘@Int’
      Both ScopedTypeVariables and TypeApplications are required to use this feature