tests/ui/associated-type-bounds/ambiguous-associated-type2.rs


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

trait Foo {
    type Item;
}
trait Bar<T> {
    type Item;
}
trait Baz: Foo + Bar<Self::Item> {}
//~^ ERROR cycle detected when computing the super traits of `Baz` with associated type name `Item` [E0391]


fn main() {}