Add GHCi help message for :def! and :: commands
[ghc.git] / testsuite / tests / typecheck / should_compile / T10185.hs
1 module T10185 where
2
3 import Data.Coerce
4 import Data.Proxy
5
6 foo :: (Coercible (a b) (c d), Coercible (c d) (e f)) => Proxy (c d) -> a b -> e f
7 foo _ = coerce