src/test/ui/while-let.rs

   1 // run-pass
   2
   3 #[allow(dead_code)]
   4 fn macros() {
   5     macro_rules! foo{
   6         ($p:pat, $e:expr, $b:block) => {{
   7             while let $p = $e $b
   8             //~^ WARN irrefutable while-let
   9             //~| WARN irrefutable while-let
  10         }}
  11     }
  12     macro_rules! bar{
  13         ($p:pat, $e:expr, $b:block) => {{
  14             foo!($p, $e, $b)
  15         }}
  16     }
  17
  18     foo!(_a, 1, {
  19         println!("irrefutable pattern");
  20     });
  21     bar!(_a, 1, {
  22         println!("irrefutable pattern");
  23     });
  24 }
  25
  26 pub fn main() {
  27     while let _a = 1 { //~ WARN irrefutable while-let
  28         println!("irrefutable pattern");
  29         break;
  30     }
  31 }