error: sub-expression diverges --> $DIR/diverging_sub_expression.rs:18:10 | 18 | b || diverge(); | ^^^^^^^^^ | = note: `-D diverging-sub-expression` implied by `-D warnings` 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, | ^^^^^