src/test/compile-fail/match-vec-unreachable.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 main() {
  12     let x: Vec<(int, int)> = Vec::new();
  13     let x: &[(int, int)] = x;
  14     match x {
  15         [a, (2, 3), _] => (),
  16         [(1, 2), (2, 3), b] => (), //~ ERROR unreachable pattern
  17         _ => ()
  18     }
  19
  20     let x: Vec<~str> = vec!(~"foo", ~"bar", ~"baz");
  21     let x: &[~str] = x;
  22     match x {
  23         [a, _, _, ..] => { println!("{}", a); }
  24         [_, _, _, _, _] => { } //~ ERROR unreachable pattern
  25         _ => { }
  26     }
  27
  28     let x: Vec<char> = vec!('a', 'b', 'c');
  29     let x: &[char] = x;
  30     match x {
  31         ['a', 'b', 'c', .._tail] => {}
  32         ['a', 'b', 'c'] => {} //~ ERROR unreachable pattern
  33         _ => {}
  34     }
  35 }