2013-12-12 01:17:54 -06:00
|
|
|
#[feature(managed_boxes)];
|
|
|
|
|
2013-02-01 21:43:17 -06:00
|
|
|
pub fn main() {
|
2012-12-15 17:13:55 -06:00
|
|
|
let x = @[1, 2, 3];
|
|
|
|
match x {
|
2013-11-28 14:22:53 -06:00
|
|
|
[2, ..] => fail!(),
|
2012-12-15 17:13:55 -06:00
|
|
|
[1, ..tail] => {
|
2013-05-18 21:02:45 -05:00
|
|
|
assert_eq!(tail, [2, 3]);
|
2012-12-15 17:13:55 -06:00
|
|
|
}
|
2013-10-21 15:08:31 -05:00
|
|
|
[_] => fail!(),
|
|
|
|
[] => fail!()
|
2012-12-15 17:13:55 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
let y = (~[(1, true), (2, false)], 0.5);
|
|
|
|
match y {
|
2013-10-21 15:08:31 -05:00
|
|
|
([_, _, _], 0.5) => fail!(),
|
2012-12-15 17:13:55 -06:00
|
|
|
([(1, a), (b, false), ..tail], _) => {
|
2013-05-18 21:02:45 -05:00
|
|
|
assert_eq!(a, true);
|
|
|
|
assert_eq!(b, 2);
|
2013-03-28 20:39:09 -05:00
|
|
|
assert!(tail.is_empty());
|
2012-12-15 17:13:55 -06:00
|
|
|
}
|
2013-10-21 15:08:31 -05:00
|
|
|
([.._tail], _) => fail!()
|
2012-12-15 17:13:55 -06:00
|
|
|
}
|
|
|
|
}
|