Enum UndoLog 

pub(crate) enum UndoLog<'db> {
    DuplicateOpaqueType,
    OpaqueTypes(OpaqueTypeKey<'db>, Option<OpaqueHiddenType<'db>>),
    TypeVariables(UndoLog<'db>),
    ConstUnificationTable(UndoLog<Delegate<ConstVidKey<'db>>>),
    IntUnificationTable(UndoLog<Delegate<IntVid>>),
    FloatUnificationTable(UndoLog<Delegate<FloatVid>>),
    RegionConstraintCollector(UndoLog<'db>),
    RegionUnificationTable(UndoLog<Delegate<RegionVidKey<'db>>>),
    PushTypeOutlivesConstraint,
    PushRegionAssumption,
}

Records the “undo” data for a single operation that affects some form of inference variable.

Variants

DuplicateOpaqueType

OpaqueTypes(OpaqueTypeKey<'db>, Option<OpaqueHiddenType<'db>>)

TypeVariables(UndoLog<'db>)

ConstUnificationTable(UndoLog<Delegate<ConstVidKey<'db>>>)

IntUnificationTable(UndoLog<Delegate<IntVid>>)

FloatUnificationTable(UndoLog<Delegate<FloatVid>>)

RegionConstraintCollector(UndoLog<'db>)

RegionUnificationTable(UndoLog<Delegate<RegionVidKey<'db>>>)

PushTypeOutlivesConstraint

PushRegionAssumption

Trait Implementations

impl<'db> Clone for UndoLog<'db>

fn clone(&self) -> UndoLog<'db>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'db> From<UndoLog<'db>> for UndoLog<'db>

fn from(x: UndoLog<'db>) -> Self

Converts to this type from the input type.

impl<'db> From<UndoLog<'db>> for UndoLog<'db>

fn from(x: UndoLog<'db>) -> Self

Converts to this type from the input type.

impl<'db> Rollback<UndoLog<'db>> for InferCtxtInner<'db>

The Rollback trait defines how to rollback a particular action.

fn reverse(&mut self, undo: UndoLog<'db>)