Module rustc_borrowck::nll
source · Expand description
The entry point of the NLL borrow checker.
Structs
- The output of
nll::compute_regions
. This includes the computedRegionInferenceContext
, any closure requirements to propagate, and any generated errors.
Traits
Functions
- Computes the (non-lexical) regions from the input 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
.