2 #![feature(type_alias_impl_trait)]
4 fn reify_as() -> Thunk<impl ContFn> {
5 Thunk::new(|mut cont| {
11 type Tait = impl ContFn;
13 fn reify_as_tait() -> Thunk<Tait> {
14 Thunk::new(|mut cont| {
26 F: FnOnce(Continuation) -> Continuation,
34 impl<F: FnOnce(Continuation) -> Continuation> ContFn for F {}
39 fn reify_as(&mut self) {}