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