2016-03-01 15:15:39 +01:00
|
|
|
#![plugin(clippy)]
|
|
|
|
#![feature(plugin)]
|
|
|
|
|
|
|
|
#![allow(dead_code, items_after_statements)]
|
|
|
|
#![deny(unused_label)]
|
|
|
|
|
|
|
|
fn unused_label() {
|
2017-02-08 14:58:07 +01:00
|
|
|
'label: for i in 1..2 {
|
2016-03-01 15:15:39 +01:00
|
|
|
if i > 4 { continue }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn foo() {
|
|
|
|
'same_label_in_two_fns: loop {
|
|
|
|
break 'same_label_in_two_fns;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
fn bla() {
|
2017-02-08 14:58:07 +01:00
|
|
|
'a: loop { break }
|
2016-03-01 15:15:39 +01:00
|
|
|
fn blub() {}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
'a: for _ in 0..10 {
|
|
|
|
while let Some(42) = None {
|
|
|
|
continue 'a;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-02-08 14:58:07 +01:00
|
|
|
'same_label_in_two_fns: loop {
|
2016-03-01 15:15:39 +01:00
|
|
|
let _ = 1;
|
|
|
|
}
|
|
|
|
}
|