testsuite/tests/typecheck/should_fail/T12083b.stderr


1
2
3
4
5
6
7


T12083b.hs:7:5: error:
    • Illegal qualified type: Eq a => r
    • When checking the class method:
        test :: forall a r. Class a => a -> (Eq a => r) -> r
      In the class declaration for ‘Class’
    Suggested fix: Perhaps you intended to use RankNTypes