Module rustc::infer
[−]
[src]
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 |
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 |
ValuePairs |
[ Experimental ] See |
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 |
UnitResult |
[ Experimental ]
|