rust/tests/ui/diverging_sub_expression.rs

41 lines
831 B
Rust
Raw Normal View History

#![feature(plugin, never_type)]
2017-09-18 12:47:33 +02:00
#![warn(diverging_sub_expression)]
#![allow(match_same_arms, logic_bug)]
#[allow(empty_loop)]
fn diverge() -> ! { loop {} }
2016-09-13 12:41:37 +02:00
struct A;
impl A {
fn foo(&self) -> ! { diverge() }
}
#[allow(unused_variables, unnecessary_operation, short_circuit_statement)]
fn main() {
let b = true;
2017-02-08 14:58:07 +01:00
b || diverge();
b || A.foo();
}
#[allow(dead_code, unused_variables)]
fn foobar() {
loop {
let x = match 5 {
4 => return,
5 => continue,
2017-02-08 14:58:07 +01:00
6 => true || return,
7 => true || continue,
8 => break,
9 => diverge(),
2017-02-08 14:58:07 +01:00
3 => true || diverge(),
10 => match 42 {
99 => return,
_ => true || panic!("boo"),
},
2017-02-08 14:58:07 +01:00
_ => true || break,
};
}
}