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