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


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() {}