rustc_borrowck::polonius::dump

Function emit_mermaid_constraint_graph

Source 
fn emit_mermaid_constraint_graph<'tcx>(
    borrow_set: &BorrowSet<'tcx>,
    liveness: &LivenessValues,
    localized_outlives_constraints: &LocalizedOutlivesConstraintSet,
    out: &mut dyn Write,
) -> Result<usize>
Expand description

Emits a mermaid flowchart of the polonius localized outlives constraints, with subgraphs per region, and loan introductions.