diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-06-21 19:58:52 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-06-21 19:58:52 -0700 |
| commit | b8710de5fffdc45c19ccc27ad8ed98c1ee51c025 (patch) | |
| tree | 6b6be9d90fe119c484d02577edef0ed6ea36c0fe /src | |
| parent | be8a08b2afac770c0b932619419bd08cd0550d85 (diff) | |
Add test cases
issue-912 is xfailed. issue-2111 is already fixed, but it's good to have the test case.
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/compile-fail/issue-2111.rs | 11 | ||||
| -rw-r--r-- | src/test/run-pass/issue-912.rs | 8 |
2 files changed, 19 insertions, 0 deletions
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<uint>, b: option<uint>) { + 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<T>(_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 +} |
