pub fn renumber_regions<'tcx, T>(infcx: &InferCtxt<'_, 'tcx>, value: T) -> T where
    T: TypeFoldable<'tcx>, 
Expand description

Replaces all regions appearing in value with fresh inference variables.