src/test/compile-fail/pattern-error-continue.rs

   1 // Copyright 2013 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 // Test that certain pattern-match type errors are non-fatal
  12
  13 enum A {
  14     B(isize, isize),
  15     C(isize, isize, isize),
  16     D
  17 }
  18
  19 struct S {
  20     a: isize
  21 }
  22
  23 fn f(_c: char) {}
  24
  25 fn main() {
  26     match A::B(1, 2) {
  27         A::B(_, _, _) => (), //~ ERROR this pattern has 3 fields, but
  28         A::D(_) => (),       //~ ERROR this pattern has 1 field, but
  29         _ => ()
  30     }
  31     match 'c' {
  32         S { .. } => (),
  33         //~^ ERROR mismatched types: expected `char`, found `S` (expected char, found struct S)
  34
  35         _ => ()
  36     }
  37     f(true);            //~ ERROR mismatched types: expected `char`, found `bool`
  38 }