hadrian: Add support for bindist compressors other than Xz
[ghc.git] / testsuite / tests / typecheck / should_compile / T9117.hs
1 {-# LANGUAGE RoleAnnotations #-}
2
3 -- Also see Note [Order of Coercible Instances]
4
5 module T9117 where
6
7 import Data.Coerce
8
9 newtype Phant a = MkPhant Char
10 type role Phant representational
11
12 ex1 :: Phant Bool
13 ex1 = coerce (MkPhant 'x' :: Phant Int)