struct S;

impl Iterator for S {
    type Item = i32;
    fn next(&mut self) -> Result<i32, i32> { Ok(7) }
    //~^ ERROR method `next` has an incompatible type for trait
    //~| NOTE expected `Option<i32>`, found `Result<i32, i32>`
    //~| NOTE expected signature `fn(&mut S) -> Option<i32>`
}

fn main() {}