fn inject_coverage_statements<'tcx>(
    mir_body: &mut Body<'tcx>,
    basic_coverage_blocks: &CoverageGraph,
    bcb_has_coverage_spans: impl Fn(BasicCoverageBlock) -> bool,
    coverage_counters: &CoverageCounters
)
Expand description

For each BCB node or BCB edge that has an associated coverage counter, inject any necessary coverage statements into MIR.