fn main() {
    let v = &[]; //~ ERROR type annotations needed
    let it = v.iter();
}