1 files changed, 7 insertions, 0 deletions
diff --git a/tests/ui/inference/cannot-infer-closure.rs b/tests/ui/inference/cannot-infer-closure.rs
new file mode 100644
index 00000000000..bd5d10b4173
--- /dev/null
+++ b/tests/ui/inference/cannot-infer-closure.rs
@@ -0,0 +1,7 @@
+fn main() {
+    let x = |a: (), b: ()| {
+        Err(a)?;
+        Ok(b)
+        //~^ ERROR type annotations needed
+    };
+}