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