src/test/ui/pattern/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 expected tuple struct/variant, found unit variant `A::D`
  29         _ => ()
  30     }
  31     match 'c' {
  32         S { .. } => (),
  33         //~^ ERROR mismatched types
  34         //~| expected type `char`
  35         //~| found type `S`
  36         //~| expected char, found struct `S`
  37
  38         _ => ()
  39     }
  40     f(true);
  41     //~^ ERROR mismatched types
  42     //~| expected char, found bool
  43
  44     match () {
  45         E::V => {} //~ ERROR failed to resolve: use of undeclared type or module `E`
  46     }
  47 }