fn unbound_drop(_: impl Sized) {}

fn main() {
    unbound_drop(|| []);
    //~^ ERROR type annotations needed for `[_; 0]`
    //~| HELP try giving this closure an explicit return type
}