Expand description
The entry point of the NLL borrow checker.
Structsยง
- NllOutput ๐
- The output of
nll::compute_regions
. This includes the computedRegionInferenceContext
, any closure requirements to propagate, and any generated errors.
Traitsยง
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
.