1 files changed, 18 insertions, 0 deletions
diff --git a/src/test/ui/binding/expr-match-generic-unique1.rs b/src/test/ui/binding/expr-match-generic-unique1.rs
new file mode 100644
index 000000000..c5f38d815
--- /dev/null
+++ b/src/test/ui/binding/expr-match-generic-unique1.rs
@@ -0,0 +1,18 @@
+// run-pass
+
+fn test_generic<T: Clone, F>(expected: Box<T>, eq: F) where F: FnOnce(Box<T>, Box<T>) -> bool {
+    let actual: Box<T> = match true {
+        true => { expected.clone() },
+        _ => panic!("wat")
+    };
+    assert!(eq(expected, actual));
+}
+
+fn test_box() {
+    fn compare_box(b1: Box<bool>, b2: Box<bool>) -> bool {
+        return *b1 == *b2;
+    }
+    test_generic::<bool, _>(Box::new(true), compare_box);
+}
+
+pub fn main() { test_box(); }