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

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