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