# Function rustc_trait_selection::traits::select::bind_coroutine_hidden_types_above

source ·

    fn bind_coroutine_hidden_types_above<'tcx>(
        infcx: &InferCtxt<'tcx>,
        def_id: DefId,
        args: GenericArgsRef<'tcx>,
        bound_vars: &List<BoundVariableKind>
    ) -> Binder<'tcx, Vec<Ty<'tcx>>>

Expand description

Replace all regions inside the coroutine interior with late bound regions. Note that each region slot in the types gets a new fresh late bound region, which means that none of the regions inside relate to any other, even if typeck had previously found constraints that would cause them to be related.