tests/ui/associated-type-bounds/supertrait-referencing.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

// check-pass

// The goal of this test is to ensure that T: Bar<T::Item>
// in the where clause does not cycle

trait Foo {
    type Item;
}

trait Bar<T> {}

fn baz<T>()
where
    T: Foo,
    T: Bar<T::Item>,
{
}

fn main() {}