testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T10493.hs
1 {-# LANGUAGE FlexibleContexts #-}
2
3 module T10493 where
4
5 import Data.Coerce
6 import Data.Ord (Down) -- no constructor
7
8 foo :: Coercible (Down Int) Int => Down Int -> Int
9 foo = coerce