Module nll

Source
Expand description

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.