blob: fa2f86242257f95141a74ff9840b4d1823fc462a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
// Regression test for #81712.
#![feature(generic_associated_types)]
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() {}
|