src/test/compile-fail/if-let.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 macros() {
  12     macro_rules! foo{
  13         ($p:pat, $e:expr, $b:block) => {{
  14             if let $p = $e $b
  15         }}
  16     }
  17     macro_rules! bar{
  18         ($p:pat, $e:expr, $b:block) => {{
  19             foo!($p, $e, $b)
  20         }}
  21     }
  22
  23     foo!(a, 1i, { //~ ERROR irrefutable if-let
  24         println!("irrefutable pattern");
  25     });
  26     bar!(a, 1i, { //~ ERROR irrefutable if-let
  27         println!("irrefutable pattern");
  28     });
  29 }
  30
  31 pub fn main() {
  32     if let a = 1i { //~ ERROR irrefutable if-let
  33         println!("irrefutable pattern");
  34     }
  35
  36     if let a = 1i { //~ ERROR irrefutable if-let
  37         println!("irrefutable pattern");
  38     } else if true {
  39         println!("else-if in irrefutable if-let");
  40     } else {
  41         println!("else in irrefutable if-let");
  42     }
  43
  44     if let 1i = 2i {
  45         println!("refutable pattern");
  46     } else if let a = 1i { //~ ERROR irrefutable if-let
  47         println!("irrefutable pattern");
  48     }
  49
  50     if true {
  51         println!("if");
  52     } else if let a = 1i { //~ ERROR irrefutable if-let
  53         println!("irrefutable pattern");
  54     }
  55 }