tests/ui/traits/new-solver/elaborate-item-bounds.rs

// compile-flags: -Ztrait-solver=next
// check-pass

trait Foo {
    type Bar: Bar;
}

trait Bar: Baz {}

trait Baz {}

fn main() {}