Enum rustc_infer::infer::type_variable::UndoLog

pub(crate) enum UndoLog<'tcx> {
    EqRelation(UndoLog<Delegate<TyVidEqKey<'tcx>>>),
    SubRelation(UndoLog<Delegate<TyVid>>),
    Values(UndoLog<Delegate>),
}

Represents a single undo-able action that affects a type inference variable.

Variants

EqRelation(UndoLog<Delegate<TyVidEqKey<'tcx>>>)

SubRelation(UndoLog<Delegate<TyVid>>)

Values(UndoLog<Delegate>)

Trait Implementations

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

Convert from a specific kind of undo to the more general UndoLog

pub fn from(l: 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<Delegate<TyVid>>> for UndoLog<'tcx>

Convert from a specific kind of undo to the more general UndoLog

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

Performs the conversion.

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

Convert from a specific kind of undo to the more general UndoLog

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

Performs the conversion.

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

Convert from a specific kind of undo to the more general UndoLog

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

Performs the conversion.

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

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