Enum rustc_infer::infer::undo_log::UndoLog

pub(crate) enum UndoLog<'tcx> {
    TypeVariables(UndoLog<'tcx>),
    ConstUnificationTable(UndoLog<Delegate<ConstVid<'tcx>>>),
    IntUnificationTable(UndoLog<Delegate<IntVid>>),
    FloatUnificationTable(UndoLog<Delegate<FloatVid>>),
    RegionConstraintCollector(UndoLog<'tcx>),
    RegionUnificationTable(UndoLog<Delegate<RegionVid>>),
    ProjectionCache(UndoLog<ProjectionCacheKey<'tcx>, ProjectionCacheEntry<'tcx>>),
    PushRegionObligation,
}

Records the 'undo' data fora single operation that affects some form of inference variable.

Variants

TypeVariables(UndoLog<'tcx>)

ConstUnificationTable(UndoLog<Delegate<ConstVid<'tcx>>>)

IntUnificationTable(UndoLog<Delegate<IntVid>>)

FloatUnificationTable(UndoLog<Delegate<FloatVid>>)

RegionConstraintCollector(UndoLog<'tcx>)

RegionUnificationTable(UndoLog<Delegate<RegionVid>>)

ProjectionCache(UndoLog<ProjectionCacheKey<'tcx>, ProjectionCacheEntry<'tcx>>)

PushRegionObligation

Trait Implementations

impl<'tcx> From<Instantiate> for UndoLog<'tcx>

pub fn from(x: Instantiate) -> Self

Performs the conversion.

impl<'tcx> From<UndoLog<'tcx>> for UndoLog<'tcx>

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

Performs the conversion.

impl<'tcx> From<UndoLog<'tcx>> for UndoLog<'tcx>

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

Performs the conversion.

impl<'tcx> From<UndoLog<Delegate<ConstVid<'tcx>>>> for UndoLog<'tcx>

pub fn from(x: UndoLog<Delegate<ConstVid<'tcx>>>) -> Self

Performs the conversion.

impl<'tcx> From<UndoLog<Delegate<FloatVid>>> for UndoLog<'tcx>

pub fn from(x: UndoLog<Delegate<FloatVid>>) -> Self

Performs the conversion.

impl<'tcx> From<UndoLog<Delegate<IntVid>>> for UndoLog<'tcx>

pub fn from(x: UndoLog<Delegate<IntVid>>) -> Self

Performs the conversion.

impl<'tcx> From<UndoLog<Delegate<RegionVid>>> for UndoLog<'tcx>

pub fn from(x: UndoLog<Delegate<RegionVid>>) -> Self

Performs the conversion.

impl<'tcx> From<UndoLog<Delegate<TyVid>>> for UndoLog<'tcx>

pub fn from(x: UndoLog<Delegate<TyVid>>) -> Self

Performs the conversion.

impl<'tcx> From<UndoLog<Delegate<TyVidEqKey<'tcx>>>> for UndoLog<'tcx>

pub fn from(x: UndoLog<Delegate<TyVidEqKey<'tcx>>>) -> Self

Performs the conversion.

impl<'tcx> From<UndoLog<Delegate>> for UndoLog<'tcx>

pub fn from(x: UndoLog<Delegate>) -> Self

Performs the conversion.

impl<'tcx> From<UndoLog<ProjectionCacheKey<'tcx>, ProjectionCacheEntry<'tcx>>> for UndoLog<'tcx>

pub fn from(
    x: UndoLog<ProjectionCacheKey<'tcx>, ProjectionCacheEntry<'tcx>>
) -> Self

Performs the conversion.

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

The Rollback trait defines how to rollback a particular action.

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