Skip to main content

unerase_lifetimes

Function unerase_lifetimes 

Source
pub fn unerase_lifetimes<'tcx, T>(
    s: &impl UnderOwnerState<'tcx>,
    val: T,
    new_region_name: Symbol,
) -> (T, Vec<PlaceholderRegion<'tcx>>)
where T: TypeFoldable<TyCtxt<'tcx>>,
Expand description

Replace each erased region in this value with a fresh placeholder region.