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