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

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