Struct rustc_data_structures::unify::Snapshot [−][src]
pub struct Snapshot<S> where
S: UnificationStore, { /* fields omitted */ }
At any time, users may snapshot a unification table. The changes made during the snapshot may either be committed or rolled back.