1 files changed, 12 insertions, 0 deletions
diff --git a/tests/ui/binding/match-with-ret-arm.rs b/tests/ui/binding/match-with-ret-arm.rs
new file mode 100644
index 000000000..58a909641
--- /dev/null
+++ b/tests/ui/binding/match-with-ret-arm.rs
@@ -0,0 +1,12 @@
+// run-pass
+pub fn main() {
+    // sometimes we have had trouble finding
+    // the right type for f, as we unified
+    // bot and u32 here
+    let f = match "1234".parse::<usize>().ok() {
+        None => return (),
+        Some(num) => num as u32
+    };
+    assert_eq!(f, 1234);
+    println!("{}", f)
+}