Test case for #10428.

66440396 · eir@cis.upenn.edu · ace8d4fc · 66440396 · 66440396
Commit 66440396 authored Jun 08, 2015 by eir@cis.upenn.edu
--- a/testsuite/tests/typecheck/should_compile/T10428.hs
+++ b/testsuite/tests/typecheck/should_compile/T10428.hs
+module T10428 where
+
+import Data.Coerce
+coerceNewtype :: (Coercible (o r) (n m' r)) => [o r] -> [n m' r]
+coerceNewtype = coerce
--- a/testsuite/tests/typecheck/should_compile/all.T
+++ b/testsuite/tests/typecheck/should_compile/all.T
@@ -461,3 +461,4 @@ test('T10489', normal, compile, [''])
 test('T10348', normal, compile, [''])
 test('T10494', normal, compile, [''])
 test('T10493', normal, compile, [''])
+test('T10428', normal, compile, [''])