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