1 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/tests/codeGen/should_compile/T18227B.hs b/testsuite/tests/codeGen/should_compile/T18227B.hs
new file mode 100644
index 0000000000..ad05a28b8f
--- /dev/null
+++ b/testsuite/tests/codeGen/should_compile/T18227B.hs
@@ -0,0 +1,16 @@
+-- N.B. These warnings only cause noise in stderr.
+{-# OPTIONS_GHC -Wno-overlapping-patterns -Wno-inaccessible-code #-}
+{-# LANGUAGE GADTs #-}
+
+module T18227B where
+
+import Unsafe.Coerce
+
+test1 :: UnsafeEquality Int Char -> IO ()
+test1 hi = print "hello"
+{-# NOINLINE test1 #-}
+
+test2 :: IO ()
+test2 =
+  case unsafeEqualityProof :: UnsafeEquality Int Char of
+    proof@UnsafeRefl -> test1 proof