//@ check-pass
//@ revisions: current next
//@[next] compile-flags: -Znext-solver

trait Foo
where
    Self::Iterator: Iterator,
    <Self::Iterator as Iterator>::Item: Bar,
{
    type Iterator;

    fn iter() -> Self::Iterator;
}

trait Bar {
    fn bar(&self);
}

fn x<T: Foo>() {
    T::iter().next().unwrap().bar();
}

fn main() {}