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 #![feature(generic_associated_types)]
   7
   8 trait Allocator {
   9     type Allocated<T>;
  10 }
  11
  12 enum LinkedList<A: Allocator> {
  13     Head,
  14     Next(A::Allocated<Self>)
  15 }
  16
  17 fn main() {}