1 files changed, 10 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-11844.rs b/src/test/ui/issues/issue-11844.rs
new file mode 100644
index 000000000..bb06f00d5
--- /dev/null
+++ b/src/test/ui/issues/issue-11844.rs
@@ -0,0 +1,10 @@
+#![feature(box_syntax)]
+
+fn main() {
+    let a = Some(box 1);
+    match a {
+        Ok(a) => //~ ERROR: mismatched types
+            println!("{}",a),
+        None => panic!()
+    }
+}