Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T11355.hs
1 {-# LANGUAGE TypeApplications, RankNTypes #-}
2
3 module T11355 where
4
5 foo = const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))