Enum rustc::infer::region_inference::UndoLogEntry [] [src]

pub enum UndoLogEntry<'tcx> {
    OpenSnapshot,
    CommitedSnapshot,
    AddVar(RegionVid),
    AddConstraint(Constraint<'tcx>),
    AddVerify(usize),
    AddGiven(FreeRegionRegionVid),
    AddCombination(CombineMapTypeTwoRegions<'tcx>),
    Purged,
}
🔬 This is a nightly-only experimental API. (rustc_private)

Variants

🔬 This is a nightly-only experimental API. (rustc_private)

Pushed when we start a snapshot.

🔬 This is a nightly-only experimental API. (rustc_private)

Replaces an OpenSnapshot when a snapshot is committed, but that snapshot is not the root. If the root snapshot is unrolled, all nested snapshots must be committed.

🔬 This is a nightly-only experimental API. (rustc_private)

We added RegionVid

🔬 This is a nightly-only experimental API. (rustc_private)

We added the given constraint

🔬 This is a nightly-only experimental API. (rustc_private)

We added the given verify

🔬 This is a nightly-only experimental API. (rustc_private)

We added the given given

🔬 This is a nightly-only experimental API. (rustc_private)

We added a GLB/LUB "combinaton variable"

🔬 This is a nightly-only experimental API. (rustc_private)

During skolemization, we sometimes purge entries from the undo log in a kind of minisnapshot (unlike other snapshots, this purging actually takes place on success). In that case, we replace the corresponding entry with Noop so as to avoid the need to do a bunch of swapping. (We can't use swap_remove as the order of the vector is important.)

Trait Implementations

impl<'tcx> Copy for UndoLogEntry<'tcx>
[src]

impl<'tcx> Clone for UndoLogEntry<'tcx>
[src]

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

impl<'tcx> PartialEq for UndoLogEntry<'tcx>
[src]

This method tests for self and other values to be equal, and is used by ==. Read more

This method tests for !=.