Module dump 

Structs

CachedLivenessSource 🔒

A LivenessSource for already-existing liveness and variance data.

LocalizedOutlivesConstraint 🔒

The constraints we’ll dump as text or a mermaid graph.

MirDumpCollector 🔒

Visitor to record constraints encountered when traversing the localized constraint graph, as well as the reachability of each loan.

Constants

TEMPLATE 🔒

The polonius MIR dump template: a regular HTML file for easy editing, with special dummy sections to be replaced by real contents.

Functions

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_loan_reachability 🔒

Emits the reachability of loans: a list of all nodes reached while traversing the polonius constraint graph.

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.

location_name 🔒

A MIR location looks like bb5[2]. As that is not a syntactically valid mermaid node id, transform it into BB5_2.

node_name 🔒

region_name 🔒

render_region 🔒

Emits a region’s label: index, universe, external name.