Module undo_log 

Re-exports

use std::assert_matches; 🔒

use std::marker::PhantomData; 🔒

use rustc_data_structures::undo_log::Rollback; 🔒

use rustc_data_structures::undo_log::UndoLogs; 🔒

use rustc_data_structures::snapshot_vec as sv; 🔒

use rustc_data_structures::unify as ut; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::OpaqueTypeKey; 🔒

use rustc_middle::ty::ProvisionalHiddenType; 🔒

use tracing::debug; 🔒

use crate::infer::unify_key::ConstVidKey; 🔒

use crate::infer::unify_key::RegionVidKey; 🔒

use crate::infer::InferCtxtInner; 🔒

use crate::infer::region_constraints; 🔒

use crate::infer::type_variable; 🔒

use crate::traits; 🔒

Macros

impl_from 🔒

Structs

InferCtxtUndoLogs 🔒

The combined undo log for all the various unification tables. For each change to the storage for any kind of inference variable, we record an UndoLog entry in the vector here.

Snapshot

Enums

UndoLog 🔒

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