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

Replaces all regions appearing in value with fresh inference variables.