Fix #10285 by refusing to use NthCo on a newtype.
[ghc.git] / testsuite / tests / typecheck / should_fail / T10285.hs
1 module T10285 where
2
3 import T10285a
4 import Data.Type.Coercion
5 import Data.Coerce
6
7 oops :: Coercion (N a) (N b) -> a -> b
8 oops Coercion = coerce
9
10 unsafeCoerce :: a -> b
11 unsafeCoerce = oops coercion