pub fn pop_skolemized(&self,
                          skol_map: SkolemizationMap<'tcx>,
                          snapshot: &CombinedSnapshot<'a, 'tcx>) {
        debug!("pop_skolemized({:?})", skol_map);
        let skol_regions: FxHashSet<_> = skol_map.values().cloned().collect();
        self.borrow_region_constraints()
            .pop_skolemized(self.universe(), &skol_regions, &snapshot.region_constraints_snapshot);
        self.universe.set(snapshot.universe);
        if !skol_map.is_empty() {
            self.projection_cache.borrow_mut().rollback_skolemized(
                &snapshot.projection_cache_snapshot);
        }
    }
/// Pops the skolemized regions found in `skol_map` from the region
/// inference context. Whenever you create skolemized regions via
/// `skolemize_late_bound_regions`, they must be popped before you
/// commit the enclosing snapshot (if you do not commit, e.g. within a
/// probe or as a result of an error, then this is not necessary, as
/// popping happens as part of the rollback).
///
/// Note: popping also occurs implicitly as part of `leak_check`.
Pops the skolemized regions found in `skol_map` from the region
inference context. Whenever you create skolemized regions via
`skolemize_late_bound_regions`, they must be popped before you
commit the enclosing snapshot (if you do not commit, e.g. within a
probe or as a result of an error, then this is not necessary, as
popping happens as part of the rollback).

popping also occurs implicitly as part of `leak_check`.
Pops the skolemized regions found in ` skol_map ` from the region inference context . Whenever you create skolemized regions via ` skolemize_late_bound_regions ` they must be popped before you commit the enclosing snapshot ( if you do not commit e . g . within a probe or as a result of an error then this is not necessary as popping happens as part of the rollback ) . popping also occurs implicitly as part of ` leak_check ` .
pub fn pop_skolemized(&self,
                          skol_map: SkolemizationMap<'tcx>,
                          snapshot: &CombinedSnapshot<'a, 'tcx>) {
        debug!("pop_skolemized({:?})", skol_map);
        let skol_regions: FxHashSet<_> = skol_map.values().cloned().collect();
        self.borrow_region_constraints()
            .pop_skolemized(self.universe(), &skol_regions, &snapshot.region_constraints_snapshot);
        self.universe.set(snapshot.universe);
        if !skol_map.is_empty() {
            self.projection_cache.borrow_mut().rollback_skolemized(
                &snapshot.projection_cache_snapshot);
        }
    }
pub fn pop_skolemized ( & self , skol_map : SkolemizationMap < ' tcx > , snapshot : & CombinedSnapshot < ' a , ' tcx > ) { debug ! ( " " skol_map ) ; let skol_regions : FxHashSet < _ > = skol_map . values ( ) . cloned ( ) . collect ( ) ; self . borrow_region_constraints ( ) . pop_skolemized ( self . universe ( ) , & skol_regions , & snapshot . region_constraints_snapshot ) ; self . universe . set ( snapshot . universe ) ; if ! skol_map . is_empty ( ) { self . projection_cache . borrow_mut ( ) . rollback_skolemized ( & snapshot . projection_cache_snapshot ) ; } }
Pops the skolemized regions found in `skol_map` from the region
inference context.
Pops the skolemized regions found in ` skol_map ` from the region inference context .
&self
skol_map
SkolemizationMap<'tcx>
snapshot
&CombinedSnapshot<'a, 'tcx>
&self
skol_map
SkolemizationMap<'tcx>
snapshot
&CombinedSnapshot<'a, 'tcx>