pub fn visit_results<'mir, 'tcx, F, V>(
    body: &'mir Body<'tcx>,
    blocks: impl IntoIterator<Item = BasicBlock>,
    results: &V,
    vis: &mut impl ResultsVisitor<'mir, 'tcx, FlowState = F>
)where
    V: ResultsVisitable<'tcx, FlowState = F>,
Expand description

Calls the corresponding method in ResultsVisitor for every location in a mir::Body with the dataflow state at that location.