Module rustc::infer::lexical_region_resolve [−][src]
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
The code to do lexical region resolution.
Re-exports
use infer::SubregionOrigin; |
use infer::RegionVariableOrigin; |
use infer::region_constraints::Constraint; |
use infer::region_constraints::GenericKind; |
use infer::region_constraints::RegionConstraintData; |
use infer::region_constraints::VarInfos; |
use infer::region_constraints::VerifyBound; |
use middle::free_region::RegionRelations; |
use rustc_data_structures::indexed_vec::Idx; |
use rustc_data_structures::indexed_vec::IndexVec; |
use rustc_data_structures::fx::FxHashSet; |
use rustc_data_structures::fx::FxHashSet; |
use rustc_data_structures::graph; |
use rustc_data_structures::graph::Direction; |
use rustc_data_structures::graph::NodeIndex; |
use rustc_data_structures::graph::OUTGOING; |
use std::fmt; |
use std::u32; |
use ty; |
use ty::TyCtxt; |
use ty::Region; |
use ty::RegionVid; |
use ty::ReEarlyBound; |
use ty::ReEmpty; |
use ty::ReErased; |
use ty::ReFree; |
use ty::ReStatic; |
use ty::ReLateBound; |
use ty::ReScope; |
use ty::ReSkolemized; |
use ty::ReVar; |
Modules
graphviz |
[ Experimental ] This module provides linkage between libgraphviz traits and
|
Structs
LexicalRegionResolutions |
[ Experimental ] Contains the result of lexical region resolution. Offers methods to lookup up the final value of a region variable. |
LexicalResolver |
[ Experimental ]
|
RegionAndOrigin |
[ Experimental ]
|
Enums
RegionResolutionError |
[ Experimental ]
|
VarValue |
[ Experimental ]
|
Functions
resolve |
[ Experimental ] 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. |
Type Definitions
RegionGraph |
[ Experimental ]
|