testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T8799.hs
1 {-# LANGUAGE FlexibleContexts #-}
2
3 module T8555 where
4 import Data.Coerce
5
6 foo :: Coercible a b => b -> a
7 foo = coerce
8
9 bar :: (Coercible a b, Coercible b c) => b -> c -> a
10 bar b c = coerce c