From b8710de5fffdc45c19ccc27ad8ed98c1ee51c025 Mon Sep 17 00:00:00 2001 From: Tim Chevalier Date: Thu, 21 Jun 2012 19:58:52 -0700 Subject: [PATCH] Add test cases issue-912 is xfailed. issue-2111 is already fixed, but it's good to have the test case. --- src/test/compile-fail/issue-2111.rs | 11 +++++++++++ src/test/run-pass/issue-912.rs | 8 ++++++++ 2 files changed, 19 insertions(+) create mode 100644 src/test/compile-fail/issue-2111.rs create mode 100644 src/test/run-pass/issue-912.rs diff --git a/src/test/compile-fail/issue-2111.rs b/src/test/compile-fail/issue-2111.rs new file mode 100644 index 00000000000..5e289af9f51 --- /dev/null +++ b/src/test/compile-fail/issue-2111.rs @@ -0,0 +1,11 @@ +fn foo(a: option, b: option) { + alt (a,b) { //! ERROR: non-exhaustive patterns: none not covered + (some(a), some(b)) if a == b { } + (some(_), none) | + (none, some(_)) { } + } +} + +fn main() { + foo(none, none); +} \ No newline at end of file diff --git a/src/test/run-pass/issue-912.rs b/src/test/run-pass/issue-912.rs new file mode 100644 index 00000000000..77a349b4ec9 --- /dev/null +++ b/src/test/run-pass/issue-912.rs @@ -0,0 +1,8 @@ +// xfail-test +fn find(_f: fn(@T) -> bool, _v: [@T]) {} + +fn main() { + let x = 10, arr = []; + find({|f| f.id == x}, arr); + arr += [{id: 20}]; // This assigns a type to arr +}