Module rustc::infer::region_inference [] [src]

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

See README.md

Reexports

pub use self::Constraint::*;
pub use self::UndoLogEntry::*;
pub use self::CombineMapType::*;
pub use self::RegionResolutionError::*;
pub use self::VarValue::*;

Structs

RegionSnapshot [
Experimental
]
RegionVarBindings [
Experimental
]
TaintDirections [
Experimental
]

When working with skolemized regions, we often wish to find all of the regions that are either reachable from a skolemized region, or which can reach a skolemized region, or both. We call such regions tained regions. This struct allows you to decide what set of tainted regions you want.

TwoRegions [
Experimental
]
Verify [
Experimental
]

Enums

CombineMapType [
Experimental
]
Constraint [
Experimental
]
GenericKind [
Experimental
]
ProcessedErrorOrigin [
Experimental
]
RegionResolutionError [
Experimental
]
UndoLogEntry [
Experimental
]
VarValue [
Experimental
]
VerifyBound [
Experimental
]

Type Definitions

CombineMap [
Experimental
]