Quick links
Polonius MIR
Polonius constraint graph
Loan traces
Control-flow graph
NLL region graph
NLL SCC graph
Raw MIR dump
$SECTION_MIR
Polonius constraint graph
$SECTION_POLONIUS_CONSTRAINTS
Loan Traces
$SECTION_POLONIUS_REACHABILITY
Control-flow graph
$SECTION_CFG
NLL regions
$SECTION_NLL_CONSTRAINTS
NLL SCCs
$SECTION_NLL_SCCS
$SECTION_INITIALIZATION