Function rustc_borrowck::renumber::renumber_regions

source ·

pub(crate) fn renumber_regions<'tcx, T, F>(
    infcx: &BorrowckInferCtxt<'_, 'tcx>,
    value: T,
    get_ctxt_fn: F
) -> Twhere
    T: TypeFoldable<TyCtxt<'tcx>>,
    F: Fn() -> RegionCtxt,

Expand description

Replaces all regions appearing in value with fresh inference variables.