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