fn main() {
    let x = vec![];
    //~^ ERROR type annotations needed
}