NoUndo in rustc_data_structures::undo_log - Rust (original) (raw)
pub struct NoUndo;How many open snapshots this undo log currently has
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 rolled back.
Removes all items from the undo log.
True if a snapshot has started, false otherwise
Extends the undo log with many undos.
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 0 bytes