1 2 3 4 5 6 7 8 9 10
// check-pass trait Foo<T> {} trait Bar { type A; type B; } trait Baz: Bar<B = u32> + Foo<Self::A> {} fn main() {}