# Function rustc_next_trait_solver::solve::assembly::structural_traits::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.