summaryrefslogtreecommitdiffstats
path: root/src/test/ui/generic-associated-types/bugs/issue-80626.rs
blob: f6aa6b36e13dcfb7907f3320b04248b9fa393fda (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
// check-fail
// known-bug: #80626

// This should pass, but it requires `Sized` to be coinductive.

trait Allocator {
    type Allocated<T>;
}

enum LinkedList<A: Allocator> {
    Head,
    Next(A::Allocated<Self>)
}

fn main() {}