[−][src]Module rustc_mir::borrow_check::nll::region_infer

🔬 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?

Modules

dump_mir	[ Experimental ] As part of generating the regions, if you enable `-Zdump-mir=nll`, we will generate an annotated copy of the MIR that includes the state of region inference. This code handles emitting the region context internal state.
error_reporting	[ Experimental ]
graphviz	[ Experimental ] This module provides linkage between RegionInferenceContext and libgraphviz traits, specialized to attaching borrowck analysis data to rendered labels.
values	[ Experimental ]

RegionDefinition	[ Experimental ]
RegionInferenceContext	[ Experimental ]
TypeTest	[ Experimental ] A "type test" corresponds to an outlives constraint between a type and a lifetime, like `T: 'x` or `<T as Foo>::Bar: 'x`. They are translated from the `Verify` region constraints in the ordinary inference context.

Cause	[ Experimental ] NB: The variants in `Cause` are intentionally ordered. Lower values are preferred when it comes to error messages. Do not reorder willy nilly.
RegionTest	[ Experimental ] A "test" that can be applied to some "subject region" `'x`. These are used to describe type constraints. Tests do not presently affect the region values that get inferred for each variable; they only examine the results after inference. This means they can conveniently include disjuction ("a or b must be true").

[

Experimental

]

[

Experimental

]