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

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