tests: remove extra_files.py (#12223)
[ghc.git] / testsuite / tests / typecheck / should_fail / T10285a.hs
1 {-# LANGUAGE RoleAnnotations #-}
2
3 module T10285a (N, coercion) where
4
5 import Data.Type.Coercion
6
7 newtype N a = MkN Int
8 type role N representational
9
10 coercion :: Coercion (N a) (N b)
11 coercion = Coercion