Function coroutine_closure_to_certain_coroutine

Source
fn coroutine_closure_to_certain_coroutine<I: Interner>(
    cx: I,
    goal_kind: ClosureKind,
    goal_region: I::Region,
    def_id: I::DefId,
    args: CoroutineClosureArgs<I>,
    sig: CoroutineClosureSignature<I>,
) -> I::Ty
Expand description

Given a coroutine-closure, project to its returned coroutine when we are certain that the closure’s kind is compatible with the goal.