// run-pass
// Issue #12512.

// pretty-expanded FIXME #23616

fn main() {
    let mut foo = Vec::new();
    #[allow(unused_labels)]
    'foo: for i in &[1, 2, 3] {
        foo.push(*i);
    }
}