about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--src/test/run-pass/issue-2869.rs14
1 files changed, 14 insertions, 0 deletions
diff --git a/src/test/run-pass/issue-2869.rs b/src/test/run-pass/issue-2869.rs
new file mode 100644
index 00000000000..67d993504d1
--- /dev/null
+++ b/src/test/run-pass/issue-2869.rs
@@ -0,0 +1,14 @@
+// xfail-test
+enum pat { pat_ident(option<uint>) }
+
+fn f(pat: pat) -> bool { true }
+
+fn num_bindings(pat: pat) -> uint {
+    alt pat {
+      pat_ident(_) if f(pat) { 0 }
+      pat_ident(none) { 1 }
+      pat_ident(some(sub)) { sub }
+    }
+}
+
+fn main() {}
\ No newline at end of file