Enum rustc_infer::infer::region_constraints::UndoLog

pub(crate) enum UndoLog<'tcx> {
    AddVar(RegionVid),
    AddConstraint(Constraint<'tcx>),
    AddVerify(usize),
    AddGiven(Region<'tcx>, RegionVid),
    AddCombination(CombineMapType, TwoRegions<'tcx>),
}

Variants

AddVar(RegionVid)

We added RegionVid.

AddConstraint(Constraint<'tcx>)

We added the given constraint.

AddVerify(usize)

We added the given verify.

AddGiven(Region<'tcx>, RegionVid)

We added the given given.

AddCombination(CombineMapType, TwoRegions<'tcx>)

We added a GLB/LUB "combination variable".

Trait Implementations

impl<'tcx> Clone for UndoLog<'tcx>

pub fn clone(&self) -> UndoLog<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Copy for UndoLog<'tcx>

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

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

Performs the conversion.

impl<'tcx> PartialEq<UndoLog<'tcx>> for UndoLog<'tcx>

pub fn eq(&self, other: &UndoLog<'tcx>) -> bool

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

pub fn ne(&self, other: &UndoLog<'tcx>) -> bool

This method tests for !=.

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

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

impl<'tcx> StructuralPartialEq for UndoLog<'tcx>