Expand description
See README.md.
Re-exports§
use std::ops::Range;🔒use std::cmp;🔒use std::fmt;🔒use std::iter;🔒use std::mem;🔒use rustc_data_structures::fx::FxHashMap;🔒use rustc_data_structures::undo_log::UndoLogs;🔒use rustc_data_structures::unify as ut;🔒use rustc_index::IndexVec;🔒use rustc_macros::TypeFoldable;🔒use rustc_macros::TypeVisitable;🔒use rustc_middle::ty;🔒use rustc_middle::ty::ReBound;🔒use rustc_middle::ty::ReStatic;🔒use rustc_middle::ty::ReVar;🔒use rustc_middle::ty::Region;🔒use rustc_middle::ty::RegionVid;🔒use rustc_middle::ty::Ty;🔒use rustc_middle::ty::TyCtxt;🔒use rustc_span::Span;🔒use rustc_span::bug;🔒use rustc_span::span_bug;🔒use rustc_type_ir::TypeVisitableExt;🔒use tracing::debug;🔒use tracing::instrument;🔒use tracing::instrument;🔒use super::RegionVariableOrigin;🔒use super::Rollback;🔒use super::SubregionOrigin;🔒use crate::infer::snapshot::undo_log::InferCtxtUndoLogs;🔒use crate::infer::snapshot::undo_log::Snapshot;🔒use crate::infer::unify_key::RegionVariableValue;🔒use crate::infer::unify_key::RegionVidKey;🔒use self::CombineMapType::*;🔒use self::UndoLog::*;🔒
Modules§
Structs§
- Constraint
- Represents a constraint that influences the inference process.
- Region
Constraint Collector - Region
Constraint Data - The full set of region constraints gathered up by the collector. Describes constraints between the region variables and other regions, as well as other conditions that must be verified, or assumptions that can be made.
- Region
Constraint Storage - Region
Snapshot 🔒 - Region
Variable Info - Solver
Region Constraint Data - TwoRegions 🔒
- Verify
- Verify
IfEq - This is a “conditional bound” that checks the result of inference and supplies a bound if it ended up being relevant. It’s used in situations like this:
Enums§
- Combine
MapType 🔒 - Constraint
Kind - Represents a constraint that influences the inference process.
- Generic
Kind - UndoLog 🔒
- Verify
Bound - Describes the things that some
GenericKindvalueGis known to outlive. Each variant ofVerifyBoundcan be thought of as a function: