Module nll

The entry point of the NLL borrow checker.

Structs

NllOutput 🔒

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

Traits

ConstraintDescription 🔒

Functions

compute_regions 🔒

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

dump_annotation 🔒

dump_nll_mir 🔒

-Zdump-mir=nll dumps MIR annotated with NLL specific information:

emit_nll_mir 🔒

Produces the actual NLL MIR sections to emit during the dumping process.

for_each_region_constraint 🔒

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.