struct Foo<T> {
//~^ ERROR recursive type `Foo` has infinite size
    x: Foo<[T; 1]>,
    y: T,
}

struct Bar {
    x: Foo<Bar>,
}

fn main() {}