testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T10494.hs
1 module App where
2
3 import Data.Coerce
4
5 foo :: Coercible (a b) (c d) => a b -> c d
6 foo = coerce