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.