Module rustc::infer::lexical_region_resolve

🔬 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::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 rustc::middle::typeck::infer::region_constraints, generating a rendering of the graph represented by the list of Constraint instances (which make up the edges of the graph), as well as the origin for each constraint (which are attached to the labels on each edge).

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 ]