pub trait Rollback<U> {
    fn reverse(&mut self, undo: U);
}
Expand description

A trait implemented for storage types (like SnapshotVecStorage) which can be rolled back using actions of type U.

Required Methods

Implementors

impl<'tcx> Rollback<UndoLog<'tcx>> for RegionConstraintStorage<'tcx>

impl<'tcx> Rollback<UndoLog<'tcx>> for TypeVariableStorage<'tcx>

impl<'tcx> Rollback<UndoLog<'tcx>> for InferCtxtInner<'tcx>