src/test/ui/generic-associated-types/bugs/issue-80626.rs

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