]> git.lizzy.rs Git - rust.git/blob - src/test/run-pass/vec-matching-fixed.rs
librustc: Remove the fallback to `int` from typechecking.
[rust.git] / src / test / run-pass / vec-matching-fixed.rs
1 // Copyright 2014 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
4 //
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
10
11 fn a() {
12     let x = [1i, 2, 3];
13     match x {
14         [1, 2, 4] => unreachable!(),
15         [0, 2, 3, ..] => unreachable!(),
16         [0, .., 3] => unreachable!(),
17         [0, ..] => unreachable!(),
18         [1, 2, 3] => (),
19         [_, _, _] => unreachable!(),
20     }
21     match x {
22         [..] => (),
23     }
24     match x {
25         [_, _, _, ..] => (),
26     }
27     match x {
28         [a, b, c] => {
29             assert_eq!(1, a);
30             assert_eq!(2, b);
31             assert_eq!(3, c);
32         }
33     }
34 }
35
36 pub fn main() {
37     a();
38 }