Module region_context 

Re-exports

use std::collections::VecDeque; 🔒

use std::ops::Deref; 🔒

use std::ops::DerefMut; 🔒

use std::rc::Rc; 🔒

use rustc_data_structures::frozen::Frozen; 🔒

use rustc_data_structures::fx::FxIndexMap; 🔒

use rustc_data_structures::fx::FxIndexSet; 🔒

use rustc_errors::Diag; 🔒

use rustc_index::IndexVec; 🔒

use rustc_infer::infer::outlives::test_type_match; 🔒

use rustc_infer::infer::region_constraints::VerifyBound; 🔒

use rustc_infer::infer::region_constraints::VerifyIfEq; 🔒

use rustc_infer::infer::InferCtxt; 🔒

use rustc_infer::infer::NllRegionVariableOrigin; 🔒

use rustc_middle::mir::AnnotationSource; 🔒

use rustc_middle::mir::BasicBlock; 🔒

use rustc_middle::mir::Body; 🔒

use rustc_middle::mir::ConstraintCategory; 🔒

use rustc_middle::mir::Location; 🔒

use rustc_middle::mir::ReturnConstraint; 🔒

use rustc_middle::mir::TerminatorKind; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::RegionVid; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeFoldable; 🔒

use rustc_middle::ty::UniverseIndex; 🔒

use rustc_middle::ty::fold_regions; 🔒

use rustc_mir_dataflow::points::DenseLocationMap; 🔒

use rustc_span::hygiene::DesugaringKind; 🔒

use rustc_span::DUMMY_SP; 🔒

use rustc_span::bug; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use tracing::trace; 🔒

use crate::constraints::graph::NormalConstraintGraph; 🔒

use crate::constraints::ConstraintSccIndex; 🔒

use crate::constraints::OutlivesConstraint; 🔒

use crate::constraints::OutlivesConstraintSet; 🔒

use crate::consumers::PoloniusOutput; 🔒

use crate::dataflow::BorrowIndex; 🔒

use crate::diagnostics::RegionErrorKind; 🔒

use crate::diagnostics::RegionErrors; 🔒

use crate::diagnostics::UniverseInfo; 🔒

use crate::handle_placeholders::LoweredConstraints; 🔒

use crate::handle_placeholders::RegionTracker; 🔒

use crate::region_infer::values::LivenessValues; 🔒

use crate::region_infer::values::RegionElement; 🔒

use crate::region_infer::values::RegionValues; 🔒

use crate::region_infer::BestBlame; 🔒

use crate::region_infer::ConstraintSccs; 🔒

use crate::region_infer::RegionDefinition; 🔒

use crate::region_infer::RegionRelationCheckResult; 🔒

use crate::region_infer::Trace; 🔒

use crate::region_infer::TypeTest; 🔒

use crate::region_infer::sccs_info; 🔒

use crate::type_check::Locations; 🔒

use crate::type_check::free_region_relations::UniversalRegionRelations; 🔒

use crate::universal_regions::UniversalRegions; 🔒

use crate::BorrowckInferCtxt; 🔒

use crate::ClosureOutlivesRequirement; 🔒

use crate::ClosureOutlivesSubject; 🔒

use crate::ClosureOutlivesSubjectTy; 🔒

use crate::ClosureRegionRequirements; 🔒

Structs

RegionInferenceContext

This contains data around region constraints and liveness, up to and after solving. All data is immutable.

RegionInferenceContextInner

Contains the data for RegionInferenceContext and UnsolvedRegionInferenceContext.

UnsolvedRegionInferenceContext 🔒

This contains data around region constraints and liveness, up to solving.