2018-05-17 19:20:30 -05:00
|
|
|
warning: unused label
|
2018-12-25 09:56:47 -06:00
|
|
|
--> $DIR/unused_labels.rs:11:5
|
2018-05-17 19:20:30 -05:00
|
|
|
|
|
|
|
|
LL | 'unused_while_label: while 0 == 0 {
|
|
|
|
| ^^^^^^^^^^^^^^^^^^^
|
|
|
|
|
|
2018-05-18 18:53:39 -05:00
|
|
|
note: lint level defined here
|
2018-12-25 09:56:47 -06:00
|
|
|
--> $DIR/unused_labels.rs:8:9
|
2018-05-18 18:53:39 -05:00
|
|
|
|
|
|
|
|
LL | #![warn(unused_labels)]
|
|
|
|
| ^^^^^^^^^^^^^
|
2018-05-17 19:20:30 -05:00
|
|
|
|
|
|
|
warning: unused label
|
2018-12-25 09:56:47 -06:00
|
|
|
--> $DIR/unused_labels.rs:16:5
|
2018-05-17 19:20:30 -05:00
|
|
|
|
|
|
|
|
LL | 'unused_while_let_label: while let Some(_) = opt {
|
|
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
|
|
|
|
warning: unused label
|
2018-12-25 09:56:47 -06:00
|
|
|
--> $DIR/unused_labels.rs:20:5
|
2018-05-17 19:20:30 -05:00
|
|
|
|
|
|
|
|
LL | 'unused_for_label: for _ in 0..10 {
|
|
|
|
| ^^^^^^^^^^^^^^^^^
|
|
|
|
|
|
|
|
warning: unused label
|
2018-12-25 09:56:47 -06:00
|
|
|
--> $DIR/unused_labels.rs:36:9
|
2018-05-17 19:20:30 -05:00
|
|
|
|
|
|
|
|
LL | 'unused_loop_label_inner_2: for _ in 0..10 {
|
|
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
|
|
|
|
warning: unused label
|
2018-12-25 09:56:47 -06:00
|
|
|
--> $DIR/unused_labels.rs:42:5
|
2018-05-17 19:20:30 -05:00
|
|
|
|
|
|
|
|
LL | 'unused_loop_label_outer_3: for _ in 0..10 {
|
|
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
|
|
|
|
warning: unused label
|
2018-12-25 09:56:47 -06:00
|
|
|
--> $DIR/unused_labels.rs:60:5
|
2018-05-17 19:20:30 -05:00
|
|
|
|
|
|
|
|
LL | 'many_used_shadowed: for _ in 0..10 {
|
|
|
|
| ^^^^^^^^^^^^^^^^^^^
|
|
|
|
|
|
|
|
warning: unused label
|
2018-12-25 09:56:47 -06:00
|
|
|
--> $DIR/unused_labels.rs:72:5
|
2018-05-17 19:20:30 -05:00
|
|
|
|
|
|
|
|
LL | 'unused_loop_label: loop {
|
|
|
|
| ^^^^^^^^^^^^^^^^^^
|
|
|
|
|
2018-05-17 19:32:05 -05:00
|
|
|
warning: unused label
|
2018-12-25 09:56:47 -06:00
|
|
|
--> $DIR/unused_labels.rs:78:5
|
2018-05-17 19:32:05 -05:00
|
|
|
|
|
|
|
|
LL | 'unused_block_label: {
|
|
|
|
| ^^^^^^^^^^^^^^^^^^^
|
|
|
|
|
2018-05-17 19:20:30 -05:00
|
|
|
warning: label name `'many_used_shadowed` shadows a label name that is already in scope
|
2018-12-25 09:56:47 -06:00
|
|
|
--> $DIR/unused_labels.rs:62:9
|
2018-05-17 19:20:30 -05:00
|
|
|
|
|
|
|
|
LL | 'many_used_shadowed: for _ in 0..10 {
|
|
|
|
| ------------------- first declared here
|
2019-03-09 06:03:44 -06:00
|
|
|
LL |
|
2018-05-17 19:20:30 -05:00
|
|
|
LL | 'many_used_shadowed: for _ in 0..10 {
|
|
|
|
| ^^^^^^^^^^^^^^^^^^^ lifetime 'many_used_shadowed already in scope
|
|
|
|
|