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

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