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