1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
// check-fail // known-bug: #80626 // This should pass, but it requires `Sized` to be coinductive. #![feature(generic_associated_types)] trait Allocator { type Allocated<T>; } enum LinkedList<A: Allocator> { Head, Next(A::Allocated<Self>) } fn main() {}