testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr


1
2
3
4
5


SimpleFail15.hs:5:8: error:
    Illegal polymorphic or qualified type: (a ~ b) => t
    Perhaps you intended to use RankNTypes or Rank2Types
    In the type signature: foo :: (a, b) -> (a ~ b => t) -> (a, b)