Struct rustc_ap_rustc_data_structures::undo_log::NoUndo

pub struct NoUndo;

Trait Implementations

impl<T> UndoLogs<T> for NoUndo

pub fn num_open_snapshots(&self) -> usize

How many open snapshots this undo log currently has

pub fn push(&mut self, _undo: T)

Pushes a new “undo item” onto the undo log. This method is invoked when some action is taken (e.g., a variable is unified). It records the info needed to reverse that action should an enclosing snapshot be rolleod back.

pub fn clear(&mut self)

Removes all items from the undo log.

fn in_snapshot(&self) -> bool

True if a snapshot has started, false otherwise

fn extend<I>(&mut self, undos: I) where
    I: IntoIterator<Item = T>, 

Extends the undo log with many undos.