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