src/test/ui/issues/issue-7813.rs

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