don't suggest Rank2Types in error messages (Fixed #16000)
[ghc.git] / testsuite / tests / indexed-types / should_fail / SimpleFail15.stderr
1
2 SimpleFail15.hs:5:8: error:
3     • Illegal qualified type: (a ~ b) => t
4       Perhaps you intended to use RankNTypes
5     • In the type signature: foo :: (a, b) -> (a ~ b => t) -> (a, b)