Introducing a protected value inside a loop does not always warn

[Munksgaard]

#[drop_protect]
struct Foo;

#[allow_drop="Foo"]
fn close(_: Foo) { }

fn main() {
    loop {
        let y = Foo;
    }
}

Should warn that y is dropped at the end of the loop.