Function rustc_mir_transform::coverage::spans::from_mir::mir_to_initial_sorted_coverage_spans

pub(super) fn mir_to_initial_sorted_coverage_spans(
    mir_body: &Body<'_>,
    hir_info: &ExtractedHirInfo,
    basic_coverage_blocks: &CoverageGraph
) -> Vec<SpanFromMir>

Traverses the MIR body to produce an initial collection of coverage-relevant spans, each associated with a node in the coverage graph (BCB) and possibly other metadata.

The returned spans are sorted in a specific order that is expected by the subsequent span-refinement step.