1 2 3 4 5 6 7 8 9 10 11 12
// check-pass trait Allocator { type Allocated<T>; } enum LinkedList<A: Allocator> { Head, Next(A::Allocated<Self>), } fn main() {}