1 error: sub-expression diverges
2 --> $DIR/diverging_sub_expression.rs:18:10
4 18 | b || diverge(); //~ ERROR sub-expression diverges
7 note: lint level defined here
8 --> $DIR/diverging_sub_expression.rs:3:9
10 3 | #![deny(diverging_sub_expression)]
11 | ^^^^^^^^^^^^^^^^^^^^^^^^
13 error: sub-expression diverges
14 --> $DIR/diverging_sub_expression.rs:19:10
16 19 | b || A.foo(); //~ ERROR sub-expression diverges
19 error: sub-expression diverges
20 --> $DIR/diverging_sub_expression.rs:28:26
22 28 | 6 => true || return, //~ ERROR sub-expression diverges
25 error: sub-expression diverges
26 --> $DIR/diverging_sub_expression.rs:29:26
28 29 | 7 => true || continue, //~ ERROR sub-expression diverges
31 error: sub-expression diverges
32 --> $DIR/diverging_sub_expression.rs:32:26
34 32 | 3 => true || diverge(), //~ ERROR sub-expression diverges
37 error: sub-expression diverges
38 --> $DIR/diverging_sub_expression.rs:37:26
40 37 | _ => true || break, //~ ERROR sub-expression diverges
43 error: aborting due to 6 previous errors