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.