1 files changed, 15 insertions, 0 deletions
diff --git a/testsuite/tests/rep-poly/RepPolyDoReturn.hs b/testsuite/tests/rep-poly/RepPolyDoReturn.hs
new file mode 100644
index 0000000000..d240c345ad
--- /dev/null
+++ b/testsuite/tests/rep-poly/RepPolyDoReturn.hs
@@ -0,0 +1,15 @@
+{-# LANGUAGE PolyKinds #-}
+{-# LANGUAGE RebindableSyntax #-}
+{-# LANGUAGE ScopedTypeVariables #-}
+
+module RepPolyDoReturn where
+
+import GHC.Exts
+import Prelude ( undefined )
+
+return :: forall rep (ma :: TYPE rep). () -> ma
+return = undefined
+
+foo :: forall rep (ma :: TYPE rep). () -> ma
+foo _ = do
+  return ()