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

   1 // check-pass
   2
   3 trait Foo { type FooT: Foo; }
   4 impl Foo for () { type FooT = (); }
   5 trait Bar<T: Foo> { type BarT: Bar<T::FooT>; }
   6 impl Bar<()> for () { type BarT = (); }
   7
   8 #[allow(dead_code)]
   9 fn test<C: Bar<()>>() { }
  10 fn main() { }