Expand description
Lexical region resolution.
Re-exports§
use std::fmt;🔒use rustc_data_structures::fx::FxHashSet;🔒use rustc_data_structures::intern::Interned;🔒use rustc_data_structures::unord::UnordSet;🔒use rustc_index::IndexSlice;🔒use rustc_index::IndexVec;🔒use rustc_middle::ty;🔒use rustc_middle::ty::ReBound;🔒use rustc_middle::ty::ReEarlyParam;🔒use rustc_middle::ty::ReErased;🔒use rustc_middle::ty::ReError;🔒use rustc_middle::ty::ReLateParam;🔒use rustc_middle::ty::RePlaceholder;🔒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_middle::ty::TypeFoldable;🔒use rustc_middle::ty::fold_regions;🔒use rustc_span::Span;🔒use rustc_span::bug;🔒use rustc_span::span_bug;🔒use tracing::debug;🔒use tracing::instrument;🔒use tracing::instrument;🔒use super::outlives::test_type_match;🔒use crate::infer::lexical_region_resolve::indexed_edges::EdgeDirection;🔒use crate::infer::lexical_region_resolve::indexed_edges::IndexedConstraintEdges;🔒use crate::infer::region_constraints::ConstraintKind;🔒use crate::infer::region_constraints::GenericKind;🔒use crate::infer::region_constraints::RegionConstraintData;🔒use crate::infer::region_constraints::VarInfos;🔒use crate::infer::region_constraints::VerifyBound;🔒use crate::infer::RegionRelations;🔒use crate::infer::RegionVariableOrigin;🔒use crate::infer::SubregionOrigin;🔒
Modules§
Structs§
- Lexical
Region 🔒Resolutions - Contains the result of lexical region resolution. Offers methods to lookup up the final value of a region variable.
- Lexical
Resolver 🔒 - Region
AndOrigin 🔒
Enums§
Functions§
- resolve 🔒
- This function performs lexical region resolution given a complete set of constraints and variable origins. It performs a fixed-point iteration to find region values which satisfy all constraints, assuming such values can be found. It returns the final values of all the variables as well as a set of errors that must be reported.