2017-02-07 20:05:30 +00:00
|
|
|
error: sub-expression diverges
|
|
|
|
--> $DIR/diverging_sub_expression.rs:18:10
|
|
|
|
|
|
2017-02-08 13:58:07 +00:00
|
|
|
18 | b || diverge();
|
2017-02-07 20:05:30 +00:00
|
|
|
| ^^^^^^^^^
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
2017-02-08 13:58:07 +00:00
|
|
|
19 | b || A.foo();
|
2017-02-07 20:05:30 +00:00
|
|
|
| ^^^^^^^
|
|
|
|
|
|
|
|
error: sub-expression diverges
|
|
|
|
--> $DIR/diverging_sub_expression.rs:28:26
|
|
|
|
|
|
2017-02-08 13:58:07 +00:00
|
|
|
28 | 6 => true || return,
|
2017-02-07 20:05:30 +00:00
|
|
|
| ^^^^^^
|
|
|
|
|
|
|
|
error: sub-expression diverges
|
|
|
|
--> $DIR/diverging_sub_expression.rs:29:26
|
|
|
|
|
|
2017-02-08 13:58:07 +00:00
|
|
|
29 | 7 => true || continue,
|
2017-02-07 20:05:30 +00:00
|
|
|
| ^^^^^^^^
|
|
|
|
|
|
|
|
error: sub-expression diverges
|
|
|
|
--> $DIR/diverging_sub_expression.rs:32:26
|
|
|
|
|
|
2017-02-08 13:58:07 +00:00
|
|
|
32 | 3 => true || diverge(),
|
2017-02-07 20:05:30 +00:00
|
|
|
| ^^^^^^^^^
|
|
|
|
|
|
|
|
error: sub-expression diverges
|
|
|
|
--> $DIR/diverging_sub_expression.rs:37:26
|
|
|
|
|
|
2017-02-08 13:58:07 +00:00
|
|
|
37 | _ => true || break,
|
2017-02-07 20:05:30 +00:00
|
|
|
| ^^^^^
|
|
|
|
|
|
|
|
error: aborting due to 6 previous errors
|
|
|
|
|