fn for_each_late_bound_region_in_recursive_scope<'tcx>(
tcx: TyCtxt<'tcx>,
mir_def_id: LocalDefId,
f: impl FnMut(Region<'tcx>),
)
Expand description
Iterates over the late-bound regions defined on mir_def_id
and all of its
parents, up to the typeck root, and invokes f
with the liberated form
of each one.