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 fn reify_as() -> Thunk<impl FnOnce(Continuation) -> Continuation> {
6 Thunk::new(|mut cont| { //~ ERROR type annotations needed
26 impl<F: FnOnce(Continuation) -> Continuation> ContFn for F {}
31 fn reify_as(&mut self) {}