1 // Regression test for #81712.
3 #![feature(generic_associated_types)]
6 type BType: B<AType = Self>;
10 type AType: A<BType = Self>;
13 type DType<T>: D<T, CType = Self>;
16 type CType: C<DType = Self>;
17 //~^ ERROR missing generics for associated type