#![feature(existential_type)]

existential type Foo: Fn() -> Foo;

fn foo() -> Foo {
    foo
}

fn main() {
}