flowistry_pdg_construction::body_cache

Function dump_mir_and_borrowck_facts

Source
pub fn dump_mir_and_borrowck_facts<'tcx>(
    tcx: TyCtxt<'tcx>,
) -> (Duration, Duration)
Expand description

A complete visit over the local crate items, collecting all bodies and calculating the necessary borrowcheck facts to store for later points-to analysis.

Ensure this gets called early in the compiler before the unoptimized mir bodies are stolen.