#[test]
fn diverging_if() {
fn inner() {
if return true {
}
false
}
assert!(inner());
}
#[test]
fn diverging_condition_while() {
fn inner() {
while return true {
}
false
}
assert!(inner());
}
#[test]
fn diverging_condition_match() {
fn inner() {
match true {
false => false,
_ if return true => false,
true => false,
}
}
assert!(inner());
}