1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
#![warn(clippy::diverging_sub_expression)]
#![allow(clippy::match_same_arms, clippy::overly_complex_bool_expr)]
#![allow(clippy::nonminimal_bool)]
#[allow(clippy::empty_loop)]
fn diverge() -> ! {
loop {}
}
struct A;
impl A {
fn foo(&self) -> ! {
diverge()
}
}
#[allow(unused_variables, clippy::unnecessary_operation, clippy::short_circuit_statement)]
fn main() {
let b = true;
b || diverge();
//~^ ERROR: sub-expression diverges
//~| NOTE: `-D clippy::diverging-sub-expression` implied by `-D warnings`
b || A.foo();
//~^ ERROR: sub-expression diverges
}
#[allow(dead_code, unused_variables)]
#[rustfmt::skip]
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"),
//~^ ERROR: sub-expression diverges
},
// lint blocks as well
15 => true || { return; },
//~^ ERROR: sub-expression diverges
16 => false || { return; },
//~^ ERROR: sub-expression diverges
// ... and when it's a single expression
17 => true || { return },
//~^ ERROR: sub-expression diverges
18 => false || { return },
//~^ ERROR: sub-expression diverges
// ... but not when there's both an expression and a statement
19 => true || { _ = 1; return },
20 => false || { _ = 1; return },
// ... or multiple statements
21 => true || { _ = 1; return; },
22 => false || { _ = 1; return; },
23 => true || { return; true },
24 => true || { return; true },
_ => true || break,
//~^ ERROR: sub-expression diverges
};
}
}
|