testsuite/tests/rename/should_fail/T18740b.stderr


1
2
3
4
5
6


T18740b.hs:6:24: error: [GHC-31891]
    • Illegal term-level use of the type variable ‘a’
    • bound at T18740b.hs:6:4
    • In the expression: a
      In an equation for ‘f’: f (Proxy :: Proxy a) = a