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


1
2
3
4
5
6
7
8
9
10
11
12

//@ compile-flags: -Znext-solver
//@ check-pass

trait Foo {
    type Bar: Bar;
}

trait Bar: Baz {}

trait Baz {}

fn main() {}