Rollup merge of #70762 - RalfJung:miri-leak-check, r=oli-obk

[rust.git] / src / test / ui / vector-no-ann.rs

fn main() {
    let _foo = Vec::new();
    //~^ ERROR type annotations needed
}