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


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

// check-pass
trait Foo {
    type Bar;
}
trait Qux: Foo + AsRef<Self::Bar> {}
trait Foo2 {}

trait Qux2: Foo2 + AsRef<Self::Bar> {
    type Bar;
}

fn main() {}