pub fn rollback_to(&mut self, s: Snapshot<'tcx>) {
        debug!("rollback_to{:?}", {
            for action in self.values.actions_since_snapshot(&s.snapshot) {
                match *action {
                    sv::UndoLog::NewElem(index) => {
                        debug!("inference variable _#{}t popped", index)
                    }
                    _ => { }
                }
            }
        });

        let Snapshot { snapshot, eq_snapshot, sub_snapshot } = s;
        self.values.rollback_to(snapshot);
        self.eq_relations.rollback_to(eq_snapshot);
        self.sub_relations.rollback_to(sub_snapshot);
    }
/// Undoes all changes since the snapshot was created. Any
/// snapshots created since that point must already have been
/// committed or rolled back.
Undoes all changes since the snapshot was created. Any
snapshots created since that point must already have been
committed or rolled back.
Undoes all changes since the snapshot was created . Any snapshots created since that point must already have been committed or rolled back .
pub fn rollback_to(&mut self, s: Snapshot<'tcx>) {
        debug!("rollback_to{:?}", {
            for action in self.values.actions_since_snapshot(&s.snapshot) {
                match *action {
                    sv::UndoLog::NewElem(index) => {
                        debug!("inference variable _#{}t popped", index)
                    }
                    _ => { }
                }
            }
        });
        let Snapshot { snapshot, eq_snapshot, sub_snapshot } = s;
        self.values.rollback_to(snapshot);
        self.eq_relations.rollback_to(eq_snapshot);
        self.sub_relations.rollback_to(sub_snapshot);
    }
pub fn rollback_to ( & mut self , s : Snapshot < ' tcx > ) { debug ! ( " " { for action in self values actions_since_snapshot ( s snapshot ) { match action { sv UndoLog NewElem ( index ) { debug ( " " index ) } { } } } } ) ; let Snapshot { snapshot , eq_snapshot , sub_snapshot } = s ; self . values . rollback_to ( snapshot ) ; self . eq_relations . rollback_to ( eq_snapshot ) ; self . sub_relations . rollback_to ( sub_snapshot ) ; }
Undoes all changes since the snapshot was created.
Undoes all changes since the snapshot was created .
&mut self
s
Snapshot<'tcx>
&mut self
s
Snapshot<'tcx>