testsuite/tests/typecheck/should_fail/T17213.stderr


1
2
3
4
5
6


T17213.hs:6:1: error: [GHC-91510]
    • Illegal polymorphic type: forall a. a -> a
    • When checking the inferred type
        g :: (forall a. a -> a) -> Int
    Suggested fix: Perhaps you intended to use RankNTypes