Skip to main content

Module type_variable

rustc_infer::infer

Module type_variable 

Source

Re-exports§

use std::cmp; 🔒
use std::marker::PhantomData; 🔒
use std::ops::Range; 🔒
use rustc_data_structures::undo_log::Rollback; 🔒
use rustc_data_structures::snapshot_vec as sv; 🔒
use rustc_data_structures::unify as ut; 🔒
use rustc_hir::HirId; 🔒
use rustc_hir::def_id::DefId; 🔒
use rustc_index::IndexVec; 🔒
use rustc_middle::ty; 🔒
use rustc_middle::ty::Ty; 🔒
use rustc_middle::ty::TyVid; 🔒
use rustc_span::Span; 🔒
use rustc_span::bug; 🔒
use tracing::debug; 🔒
use crate::infer::InferCtxtUndoLogs; 🔒

Structs§

FloatVariableOrigin
TyVidEqKey 🔒
These structs (a newtyped TyVid) are used as the unification key for the eq_relations; they carry a TypeVariableValue along with them.
TyVidSubKey 🔒
TypeVariableData 🔒
TypeVariableOrigin
TypeVariableStorage 🔒
TypeVariableTable 🔒

Enums§

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