1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/rep-poly/T20330a.hs b/testsuite/tests/rep-poly/T20330a.hs
new file mode 100644
index 0000000000..2e4fbfd9c8
--- /dev/null
+++ b/testsuite/tests/rep-poly/T20330a.hs
@@ -0,0 +1,13 @@
+{-# LANGUAGE MagicHash #-}
+{-# LANGUAGE PolyKinds #-}
+{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE TypeApplications #-}
+
+module T20330 where
+
+import GHC.Exts
+
+ok1 :: forall (r :: RuntimeRep) (z :: TYPE r). z -> z
+ok1 = raise# (5 :: Int)
+
+ok2 = (raise# :: forall (r :: RuntimeRep) (z :: TYPE r). Int -> z -> z)