2015-08-29 04:41:06 -05:00
|
|
|
#![feature(plugin)]
|
|
|
|
#![plugin(clippy)]
|
|
|
|
|
|
|
|
#[deny(while_let_loop)]
|
|
|
|
fn main() {
|
|
|
|
let y = Some(true);
|
|
|
|
loop { //~ERROR
|
|
|
|
if let Some(_x) = y {
|
|
|
|
let _v = 1;
|
|
|
|
} else {
|
|
|
|
break
|
|
|
|
}
|
|
|
|
}
|
|
|
|
loop { // no error, break is not in else clause
|
|
|
|
if let Some(_x) = y {
|
|
|
|
let _v = 1;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
loop { //~ERROR
|
|
|
|
match y {
|
|
|
|
Some(_x) => true,
|
|
|
|
None => break
|
|
|
|
};
|
|
|
|
}
|
2015-09-27 02:39:42 -05:00
|
|
|
loop { //~ERROR
|
|
|
|
let x = match y {
|
|
|
|
Some(x) => x,
|
2015-08-29 04:41:06 -05:00
|
|
|
None => break
|
|
|
|
};
|
2015-09-27 02:39:42 -05:00
|
|
|
let _x = x;
|
|
|
|
let _str = "foo";
|
2015-08-29 04:41:06 -05:00
|
|
|
}
|
|
|
|
loop { // no error, else branch does something other than break
|
|
|
|
match y {
|
|
|
|
Some(_x) => true,
|
|
|
|
_ => {
|
|
|
|
let _z = 1;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
}
|
|
|
|
while let Some(x) = y { // no error, obviously
|
|
|
|
println!("{}", x);
|
|
|
|
}
|
|
|
|
}
|