1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/MonoLocalBinds.hs b/testsuite/tests/partial-sigs/should_compile/MonoLocalBinds.hs
new file mode 100644
index 0000000000..7ccd3dba77
--- /dev/null
+++ b/testsuite/tests/partial-sigs/should_compile/MonoLocalBinds.hs
@@ -0,0 +1,14 @@
+{-# LANGUAGE MonoLocalBinds #-}
+{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE PartialTypeSignatures #-}
+
+module MonoLocalBinds where
+
+monoLoc :: forall a. a -> ((a, String), (a, String))
+monoLoc x = (g True , g 'v')
+  where
+    -- g :: b -> (a, String) -- #1
+    g :: b -> (a, _) -- #2
+    g y = (x, "foo")
+
+-- For #2, we should infer the same type as in #1.