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.