Module rustc::infer

🔬 This is a nightly-only experimental API. (rustc_private)

See the Book for more information.

Reexports

pub use self::LateBoundRegionConversionTime::*;

pub use self::RegionVariableOrigin::*;

pub use self::SubregionOrigin::*;

pub use self::ValuePairs::*;

pub use ty::IntVarValue;

pub use self::region_inference::GenericKind;

pub use self::region_inference::VerifyBound;

Modules

error_reporting	[ Experimental ] Error Reporting Code for the inference engine
lattice	[ Experimental ]
region_inference	[ Experimental ] See README.md
resolve	[ Experimental ]
type_variable	[ Experimental ]
unify_key	[ Experimental ]

Structs

CombinedSnapshot	[ Experimental ]
InferCtxt	[ Experimental ]
InferCtxtBuilder	[ Experimental ] Helper type of a temporary returned by tcx.infer_ctxt(...). Necessary because we can't write the following bound: F: for<'b, 'tcx> where 'gcx: 'tcx FnOnce(InferCtxt<'b, 'gcx, 'tcx>).
InferOk	[ Experimental ]
TypeFreshener	[ Experimental ]
TypeTrace	[ Experimental ] The trace designates the path through inference that we took to encounter an error or subtyping constraint.

Enums

FixupError	[ Experimental ]
InferTables	[ Experimental ] A version of &ty::TypeckTables which can be Missing (not needed), InProgress (during typeck) or Interned (result of typeck). Only the InProgress version supports borrow_mut.
InferTablesRef	[ Experimental ]
LateBoundRegionConversionTime	[ Experimental ] Times when we replace late-bound regions with variables:
ParameterOrigin	[ Experimental ] Places that type/region parameters can appear.
RegionVariableOrigin	[ Experimental ] Reasons to create a region inference variable
SubregionOrigin	[ Experimental ] The origin of a r1 <= r2 constraint.
ValuePairs	[ Experimental ] See error_reporting module for more details

Traits

InferEnv	[ Experimental ]
TransNormalize	[ Experimental ] Helper trait for shortening the lifetimes inside a value for post-type-checking normalization.

Type Definitions

Bound	[ Experimental ]
FixupResult	[ Experimental ]
InferResult	[ Experimental ]
SkolemizationMap	[ Experimental ] A map returned by skolemize_late_bound_regions() indicating the skolemized region that each late-bound region was replaced with.
UnitResult	[ Experimental ]