1 // This doesn't work, because we don't flow information from opaque types
2 // into function arguments via the function's generic parameters
3 // FIXME(oli-obk): make `expected_inputs_for_expected_output` support this
5 #![feature(type_alias_impl_trait)]
7 fn reify_as() -> Thunk<impl FnOnce(Continuation) -> Continuation> {
8 Thunk::new(|mut cont| { //~ ERROR type annotations needed
14 type Tait = impl FnOnce(Continuation) -> Continuation;
16 fn reify_as_tait() -> Thunk<Tait> {
17 Thunk::new(|mut cont| { //~ ERROR type annotations needed
37 impl<F: FnOnce(Continuation) -> Continuation> ContFn for F {}
42 fn reify_as(&mut self) {}