pub fn visit_results<'mir, 'tcx, F, R>(
    body: &'mir Body<'tcx>,
    blocks: impl IntoIterator<Item = BasicBlock>,
    results: &mut R,
    vis: &mut impl ResultsVisitor<'mir, 'tcx, R, FlowState = F>
)
where R: 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.