src/test/ui/associated-types/issue-39532.rs

   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
  12 fn x<T: Foo<Bar = U>, U>(t: &T) {}
  13
  14 fn main() {}