src/test/ui/issues/issue-17431-7.rs

enum Foo { Voo(Option<Option<Foo>>) }
//~^ ERROR recursive type `Foo` has infinite size

impl Foo { fn bar(&self) {} }

fn main() { }