1 2 3 4 5 6 7 8 9 10
#![feature(type_alias_impl_trait)] type Foo = impl Fn() -> Foo; fn foo() -> Foo { //~^ ERROR: overflow evaluating the requirement foo } fn main() {}