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

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Modules

constraint_generationInternal
constraintsInternal
explain_borrowInternal
factsInternal
invalidationInternal
member_constraintsInternal
region_inferInternal
renumberInternal
type_checkInternal

This pass type-checks the MIR to ensure it is not broken.

universal_regionsInternal

Code to extract the universally quantified regions declared on a function and the relationships between them. For example:

Traits

ConstraintDescriptionInternal
ToRegionVidInternal

Right now, we piggy back on the ReVar to store our NLL inference regions. These are indexed with RegionVid. This method will assert that the region is a ReVar and extract its internal index. This is reasonable because in our MIR we replace all universal regions with inference variables.

Functions

compute_regionsInternal

Computes the (non-lexical) regions from the input MIR.

dump_annotationInternal
dump_mir_resultsInternal
for_each_region_constraintInternal
replace_regions_in_mirInternal

Rewrites the regions in the MIR to use NLL variables, also scraping out the set of universal regions (e.g., region parameters) declared on the function. That set will need to be given to compute_regions.