testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T15431a.hs
1 {-# LANGUAGE FlexibleContexts #-}
2 {-# LANGUAGE GADTs #-}
3 module T15431a where
4
5 import Data.Coerce
6 import Data.Functor.Identity
7
8 g1 :: Coercible (t a) Int => t a -> Int
9 g1 = coerce
10
11 g2 :: Coercible Int (t a) => t a -> Int
12 g2 = coerce