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