1 2 3 4 5 6 7 8 9 10 11 12 13 14
// check-pass #![allow(unused)] trait Foo { type Bar; type Baz: Bar<Self::Bar>; } trait Bar<T> {} fn x<T: Foo<Bar = U>, U>(t: &T) {} fn main() {}