Don't skip validity checks for built-in classes (#17355)
[ghc.git] / testsuite / tests / typecheck / should_compile / T10428.hs
1 module T10428 where
2
3 import Data.Coerce
4 coerceNewtype :: (Coercible (o r) (n m' r)) => [o r] -> [n m' r]
5 coerceNewtype = coerce