1 2 3 4 5 6 7 8 9 10 11 12
#![feature(type_alias_impl_trait)] type Foo = impl Fn() -> Foo; //~^ ERROR: unconstrained opaque type fn crash(x: Foo) -> Foo { x } fn main() { }