rust/src/test/run-pass/issue-13027.rs

188 lines
3.7 KiB
Rust
Raw Normal View History

// Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
2014-07-21 17:57:14 -05:00
//
// Tests that match expression handles overlapped literal and range
// properly in the presence of guard function.
fn val() -> usize { 1 }
static CONST: usize = 1;
pub fn main() {
lit_shadow_range();
range_shadow_lit();
range_shadow_range();
multi_pats_shadow_lit();
multi_pats_shadow_range();
lit_shadow_multi_pats();
range_shadow_multi_pats();
misc();
}
fn lit_shadow_range() {
2015-01-25 15:05:03 -06:00
assert_eq!(2, match 1 {
1 if false => 1,
1...2 => 2,
_ => 3
});
2015-01-25 15:05:03 -06:00
let x = 0;
assert_eq!(2, match x+1 {
0 => 0,
1 if false => 1,
1...2 => 2,
_ => 3
});
2015-01-25 15:05:03 -06:00
assert_eq!(2, match val() {
1 if false => 1,
1...2 => 2,
_ => 3
});
2015-01-25 15:05:03 -06:00
assert_eq!(2, match CONST {
0 => 0,
1 if false => 1,
1...2 => 2,
_ => 3
});
// value is out of the range of second arm, should match wildcard pattern
2015-01-25 15:05:03 -06:00
assert_eq!(3, match 3 {
1 if false => 1,
1...2 => 2,
_ => 3
});
}
fn range_shadow_lit() {
2015-01-25 15:05:03 -06:00
assert_eq!(2, match 1 {
1...2 if false => 1,
1 => 2,
_ => 3
});
2015-01-25 15:05:03 -06:00
let x = 0;
assert_eq!(2, match x+1 {
0 => 0,
1...2 if false => 1,
1 => 2,
_ => 3
});
2015-01-25 15:05:03 -06:00
assert_eq!(2, match val() {
1...2 if false => 1,
1 => 2,
_ => 3
});
2015-01-25 15:05:03 -06:00
assert_eq!(2, match CONST {
0 => 0,
1...2 if false => 1,
1 => 2,
_ => 3
});
// ditto
2015-01-25 15:05:03 -06:00
assert_eq!(3, match 3 {
1...2 if false => 1,
1 => 2,
_ => 3
});
}
fn range_shadow_range() {
2015-01-25 15:05:03 -06:00
assert_eq!(2, match 1 {
0...2 if false => 1,
1...3 => 2,
_ => 3,
});
2015-01-25 15:05:03 -06:00
let x = 0;
assert_eq!(2, match x+1 {
100 => 0,
0...2 if false => 1,
1...3 => 2,
_ => 3,
});
2015-01-25 15:05:03 -06:00
assert_eq!(2, match val() {
0...2 if false => 1,
1...3 => 2,
_ => 3,
});
2015-01-25 15:05:03 -06:00
assert_eq!(2, match CONST {
100 => 0,
0...2 if false => 1,
1...3 => 2,
_ => 3,
});
// ditto
2015-01-25 15:05:03 -06:00
assert_eq!(3, match 5 {
0...2 if false => 1,
1...3 => 2,
_ => 3,
});
}
fn multi_pats_shadow_lit() {
2015-01-25 15:05:03 -06:00
assert_eq!(2, match 1 {
100 => 0,
0 | 1...10 if false => 1,
1 => 2,
_ => 3,
});
}
fn multi_pats_shadow_range() {
2015-01-25 15:05:03 -06:00
assert_eq!(2, match 1 {
100 => 0,
0 | 1...10 if false => 1,
1...3 => 2,
_ => 3,
});
}
fn lit_shadow_multi_pats() {
2015-01-25 15:05:03 -06:00
assert_eq!(2, match 1 {
100 => 0,
1 if false => 1,
0 | 1...10 => 2,
_ => 3,
});
}
fn range_shadow_multi_pats() {
2015-01-25 15:05:03 -06:00
assert_eq!(2, match 1 {
100 => 0,
1...3 if false => 1,
0 | 1...10 => 2,
_ => 3,
});
}
fn misc() {
enum Foo {
Bar(usize, bool)
}
// This test basically mimics how trace_macros! macro is implemented,
// which is a rare combination of vector patterns, multiple wild-card
// patterns and guard functions.
let r = match [Foo::Bar(0, false)] {
2015-01-25 15:05:03 -06:00
[Foo::Bar(_, pred)] if pred => 1,
[Foo::Bar(_, pred)] if !pred => 2,
_ => 0,
};
2015-01-25 15:05:03 -06:00
assert_eq!(2, r);
}