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.