2017-02-07 20:05:30 +00:00
|
|
|
error: unused label `'label`
|
|
|
|
--> $DIR/unused_labels.rs:8:5
|
|
|
|
|
|
2017-04-23 13:25:22 +00:00
|
|
|
8 | / 'label: for i in 1..2 {
|
2017-02-07 20:05:30 +00:00
|
|
|
9 | | if i > 4 { continue }
|
|
|
|
10 | | }
|
2017-04-23 13:25:22 +00:00
|
|
|
| |_____^
|
2017-02-07 20:05:30 +00:00
|
|
|
|
|
|
|
|
note: lint level defined here
|
|
|
|
--> $DIR/unused_labels.rs:5:9
|
|
|
|
|
|
|
|
|
5 | #![deny(unused_label)]
|
|
|
|
| ^^^^^^^^^^^^
|
|
|
|
|
|
|
|
error: unused label `'a`
|
|
|
|
--> $DIR/unused_labels.rs:21:5
|
|
|
|
|
|
2017-02-08 13:58:07 +00:00
|
|
|
21 | 'a: loop { break }
|
2017-02-07 20:05:30 +00:00
|
|
|
| ^^^^^^^^^^^^^^^^^^
|
|
|
|
|
|
|
|
error: unused label `'same_label_in_two_fns`
|
|
|
|
--> $DIR/unused_labels.rs:32:5
|
|
|
|
|
|
2017-04-23 13:25:22 +00:00
|
|
|
32 | / 'same_label_in_two_fns: loop {
|
2017-02-07 20:05:30 +00:00
|
|
|
33 | | let _ = 1;
|
|
|
|
34 | | }
|
2017-04-23 13:25:22 +00:00
|
|
|
| |_____^
|
2017-02-07 20:05:30 +00:00
|
|
|
|
|
|
|
error: aborting due to 3 previous errors
|
|
|
|
|