blob: a14496280c76434254ec212f7434045e9efe7dc2 [file] [log] [blame]
//@ check-pass
trait Allocator {
type Allocated<T>;
}
enum LinkedList<A: Allocator> {
Head,
Next(A::Allocated<Self>),
}
fn main() {}