rustc_borrowck::nll

Function dump_nll_mir

Source
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