Module rustc_borrowck::nll
source ยท 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: - 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
.