pub(crate) fn dump_nll_mir<'tcx>(
infcx: &BorrowckInferCtxt<'tcx>,
body: &Body<'tcx>,
regioncx: &RegionInferenceContext<'tcx>,
closure_region_requirements: &Option<ClosureRegionRequirements<'tcx>>,
borrow_set: &BorrowSet<'tcx>,
)
Expand description
-Zdump-mir=nll
dumps MIR annotated with NLL specific information:
- free regions
- inferred region values
- region liveness
- inference constraints and their causes
As well as graphviz .dot
visualizations of:
- the region constraints graph
- the region SCC graph