Trait rustc_data_structures::unify::UnificationStore

pub trait UnificationStore: UnificationStoreMut {
    type Snapshot;

    fn start_snapshot(&mut self) -> Self::Snapshot;
    fn rollback_to(&mut self, snapshot: Self::Snapshot);
    fn commit(&mut self, snapshot: Self::Snapshot);
    fn values_since_snapshot(&self, snapshot: &Self::Snapshot) -> Range<usize> ;
}

Required Associated Types

type Snapshot

Required Methods

fn start_snapshot(&mut self) -> Self::Snapshot

fn rollback_to(&mut self, snapshot: Self::Snapshot)

fn commit(&mut self, snapshot: Self::Snapshot)

fn values_since_snapshot(&self, snapshot: &Self::Snapshot) -> Range<usize>

Implementors