2017-03-21 13:41:41 +00:00
|
|
|
#![allow(unused_variables)]
|
|
|
|
#![allow(unused_assignments)]
|
|
|
|
#![allow(dead_code)]
|
|
|
|
#![deny(unreachable_code)]
|
|
|
|
|
|
|
|
fn foo() {
|
2021-08-08 14:49:13 +00:00
|
|
|
if {return} { //~ ERROR unreachable block in `if`
|
2017-03-21 13:41:41 +00:00
|
|
|
println!("Hello, world!");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn bar() {
|
|
|
|
if {true} {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
println!("I am not dead.");
|
|
|
|
}
|
|
|
|
|
|
|
|
fn baz() {
|
|
|
|
if {true} {
|
|
|
|
return;
|
|
|
|
} else {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
// As the next action to be taken after the if arms, we should
|
|
|
|
// report the `println!` as unreachable:
|
|
|
|
println!("But I am.");
|
2018-07-19 12:15:43 +00:00
|
|
|
//~^ ERROR unreachable statement
|
2017-03-21 13:41:41 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn main() { }
|