pub(super) fn extract_refined_covspans(
    mir_body: &Body<'_>,
    hir_info: &ExtractedHirInfo,
    basic_coverage_blocks: &CoverageGraph,
    mappings: &mut impl Extend<BcbMapping>
)