testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T14333.hs
1 module T14333 where
2
3 import Data.Coerce
4
5 bad :: Coercible (a b) (c d) => c d -> a b
6 bad = coerce
7
8 bad2 :: Coercible (c d) (a b) => c d -> a b
9 bad2 = coerce
10
11 bad3 :: Coercible (a b) b => b -> a b
12 bad3 = coerce
13
14 bad4 :: Coercible b (a b) => b -> a b
15 bad4 = coerce
16
17 newtype Id a = MkId a
18
19 foo :: Id Int
20 foo = bad3 (3 :: Int)