pub fn visit_results<'mir, 'tcx, D, R>(
body: &'mir Body<'tcx>,
blocks: impl IntoIterator<Item = BasicBlock>,
results: &mut R,
vis: &mut impl ResultsVisitor<'mir, 'tcx, R, Domain = D>,
)where
R: ResultsVisitable<'tcx, Domain = D>,
Expand description
Calls the corresponding method in ResultsVisitor
for every location in a mir::Body
with the
dataflow state at that location.