#![feature(existential_type)]

existential type SomeDebug: std::fmt::Debug;

fn foo() -> SomeDebug {
    || -> SomeDebug { unimplemented!() }()
}