rust/tests/compile-fail/diverging_sub_expression.rs

41 lines
1.0 KiB
Rust

#![feature(plugin, never_type)]
#![plugin(clippy)]
#![deny(diverging_sub_expression)]
#![allow(match_same_arms, logic_bug)]
#[allow(empty_loop)]
fn diverge() -> ! { loop {} }
struct A;
impl A {
fn foo(&self) -> ! { diverge() }
}
#[allow(unused_variables, unnecessary_operation)]
fn main() {
let b = true;
b || diverge(); //~ ERROR sub-expression diverges
b || A.foo(); //~ ERROR sub-expression diverges
}
#[allow(dead_code, unused_variables)]
fn foobar() {
loop {
let x = match 5 {
4 => return,
5 => continue,
6 => true || return, //~ ERROR sub-expression diverges
7 => true || continue, //~ ERROR sub-expression diverges
8 => break,
9 => diverge(),
3 => true || diverge(), //~ ERROR sub-expression diverges
10 => match 42 {
99 => return,
_ => true || panic!("boo"),
},
_ => true || break, //~ ERROR sub-expression diverges
};
}
}