src/test/ui/structs-enums/struct-rec/mutual-struct-recursion.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

struct A<T> {
//~^ ERROR recursive type `A` has infinite size
    x: T,
    y: B<T>,
}

struct B<T> {
//~^ ERROR recursive type `B` has infinite size
    z: A<T>
}

struct C<T> {
//~^ ERROR recursive type `C` has infinite size
    x: T,
    y: Option<Option<D<T>>>,
}

struct D<T> {
//~^ ERROR recursive type `D` has infinite size
    z: Option<Option<C<T>>>,
}

fn main() {}