src/test/ui/generic-associated-types/issue-81712-cyclic-traits.rs

   1 // Regression test for #81712.
   2
   3 trait A {
   4     type BType: B<AType = Self>;
   5 }
   6
   7 trait B {
   8     type AType: A<BType = Self>;
   9 }
  10 trait C {
  11     type DType<T>: D<T, CType = Self>;
  12 }
  13 trait D<T> {
  14     type CType: C<DType = Self>;
  15     //~^ ERROR missing generics for associated type
  16 }
  17
  18 fn main() {}