2018-07-28 10:34:52 -05:00
|
|
|
#![feature(tool_lints)]
|
2017-09-18 05:47:33 -05:00
|
|
|
|
|
|
|
|
2018-07-28 10:34:52 -05:00
|
|
|
#![allow(dead_code, clippy::items_after_statements, clippy::never_loop)]
|
|
|
|
#![warn(clippy::unused_label)]
|
2016-03-01 08:15:39 -06:00
|
|
|
|
|
|
|
fn unused_label() {
|
2017-02-08 07:58:07 -06:00
|
|
|
'label: for i in 1..2 {
|
2016-03-01 08:15:39 -06:00
|
|
|
if i > 4 { continue }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn foo() {
|
|
|
|
'same_label_in_two_fns: loop {
|
|
|
|
break 'same_label_in_two_fns;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
fn bla() {
|
2017-02-08 07:58:07 -06:00
|
|
|
'a: loop { break }
|
2016-03-01 08:15:39 -06:00
|
|
|
fn blub() {}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
'a: for _ in 0..10 {
|
|
|
|
while let Some(42) = None {
|
|
|
|
continue 'a;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-02-08 07:58:07 -06:00
|
|
|
'same_label_in_two_fns: loop {
|
2016-03-01 08:15:39 -06:00
|
|
|
let _ = 1;
|
|
|
|
}
|
|
|
|
}
|