76 lines
1.3 KiB
Rust
76 lines
1.3 KiB
Rust
fn a() {
|
|
let x = ~[1];
|
|
match x {
|
|
[_, _, _, _, _, ..] => fail!(),
|
|
[.., _, _, _, _] => fail!(),
|
|
[_, .., _, _] => fail!(),
|
|
[_, _] => fail!(),
|
|
[a] => {
|
|
assert_eq!(a, 1);
|
|
}
|
|
[] => fail!()
|
|
}
|
|
}
|
|
|
|
fn b() {
|
|
let x = ~[1, 2, 3];
|
|
match x {
|
|
[a, b, ..c] => {
|
|
assert_eq!(a, 1);
|
|
assert_eq!(b, 2);
|
|
assert_eq!(c, &[3]);
|
|
}
|
|
_ => fail!()
|
|
}
|
|
match x {
|
|
[..a, b, c] => {
|
|
assert_eq!(a, &[1]);
|
|
assert_eq!(b, 2);
|
|
assert_eq!(c, 3);
|
|
}
|
|
_ => fail!()
|
|
}
|
|
match x {
|
|
[a, ..b, c] => {
|
|
assert_eq!(a, 1);
|
|
assert_eq!(b, &[2]);
|
|
assert_eq!(c, 3);
|
|
}
|
|
_ => fail!()
|
|
}
|
|
match x {
|
|
[a, b, c] => {
|
|
assert_eq!(a, 1);
|
|
assert_eq!(b, 2);
|
|
assert_eq!(c, 3);
|
|
}
|
|
_ => fail!()
|
|
}
|
|
}
|
|
|
|
fn c() {
|
|
let x = [1];
|
|
match x {
|
|
[2, ..] => fail!(),
|
|
[..] => ()
|
|
}
|
|
}
|
|
|
|
fn d() {
|
|
let x = [1, 2, 3];
|
|
let branch = match x {
|
|
[1, 1, ..] => 0,
|
|
[1, 2, 3, ..] => 1,
|
|
[1, 2, ..] => 2,
|
|
_ => 3
|
|
};
|
|
assert_eq!(branch, 1);
|
|
}
|
|
|
|
pub fn main() {
|
|
a();
|
|
b();
|
|
c();
|
|
d();
|
|
}
|