Module dump
Source - dump_polonius_mir 🔒
-Zdump-mir=polonius dumps MIR annotated with NLL and polonius specific information.- emit_html_mir 🔒
- Emits the polonius MIR, as escaped HTML.
- emit_mermaid_cfg 🔒
- Emits a mermaid flowchart of the CFG blocks and edges, similar to the graphviz version.
- emit_mermaid_constraint_graph 🔒
- Emits a mermaid flowchart of the polonius localized outlives constraints, with subgraphs per
region, and loan introductions.
- emit_mermaid_nll_regions 🔒
- Emits a mermaid flowchart of the NLL regions and the outlives constraints between them, similar
to the graphviz version.
- emit_mermaid_nll_sccs 🔒
- Emits a mermaid flowchart of the NLL SCCs and the outlives constraints between them, similar
to the graphviz version.
- emit_polonius_dump 🔒
- The polonius dump consists of:
- emit_polonius_mir 🔒
- Produces the actual NLL + Polonius MIR sections to emit during the dumping process.
- render_region 🔒
- Emits a region’s label: index, universe, external name.