Trait rustc_data_structures::unify::UnificationStore

source · 
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>ⓘNotable traits for Range<A>impl<A> Iterator for Range<A>where
    A: Step,    type Item = A;;
}

Required Associated Types

Required Methods

Implementors