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 main()20fn main() {} 21