rustc_borrowck::polonius::dump

Function emit_polonius_dump

Source 
fn emit_polonius_dump<'tcx>(
    tcx: TyCtxt<'tcx>,
    body: &Body<'tcx>,
    regioncx: &RegionInferenceContext<'tcx>,
    borrow_set: &BorrowSet<'tcx>,
    localized_outlives_constraints: &LocalizedOutlivesConstraintSet,
    closure_region_requirements: &Option<ClosureRegionRequirements<'tcx>>,
    out: &mut dyn Write,
) -> Result<()>
Expand description

The polonius dump consists of:

  • the NLL MIR
  • the list of polonius localized constraints
  • a mermaid graph of the CFG
  • a mermaid graph of the NLL regions and the constraints between them
  • a mermaid graph of the NLL SCCs and the constraints between them