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

The entry point of the NLL borrow checker.

Structs

The output of nll::compute_regions. This includes the computed RegionInferenceContext, any closure requirements to propagate, and any generated errors.

Traits

ConstraintDescription
ToRegionVid	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_regions	Computes the (non-lexical) regions from the input MIR.
dump_annotation
dump_mir_results
for_each_region_constraint
populate_polonius_move_facts
replace_regions_in_mir	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`.

Type Definitions

PoloniusOutput