error: sub-expression diverges
  --> $DIR/diverging_sub_expression.rs:18:10
   |
18 |     b || diverge();
   |          ^^^^^^^^^
   |
note: lint level defined here
  --> $DIR/diverging_sub_expression.rs:3:9
   |
3  | #![deny(diverging_sub_expression)]
   |         ^^^^^^^^^^^^^^^^^^^^^^^^

error: sub-expression diverges
  --> $DIR/diverging_sub_expression.rs:19:10
   |
19 |     b || A.foo();
   |          ^^^^^^^

error: sub-expression diverges
  --> $DIR/diverging_sub_expression.rs:28:26
   |
28 |             6 => true || return,
   |                          ^^^^^^

error: sub-expression diverges
  --> $DIR/diverging_sub_expression.rs:29:26
   |
29 |             7 => true || continue,
   |                          ^^^^^^^^

error: sub-expression diverges
  --> $DIR/diverging_sub_expression.rs:32:26
   |
32 |             3 => true || diverge(),
   |                          ^^^^^^^^^

error: sub-expression diverges
  --> $DIR/diverging_sub_expression.rs:37:26
   |
37 |             _ => true || break,
   |                          ^^^^^

error: aborting due to 6 previous errors