pub(crate) fn extract_raw_spans_from_mir<'tcx>(
mir_body: &Body<'tcx>,
graph: &CoverageGraph,
) -> Vec<RawSpanFromMir>
Expand description
Generates an initial set of coverage spans from the statements and terminators in the function’s MIR body, each associated with its corresponding node in the coverage graph.
This is necessarily an inexact process, because MIR isn’t designed to capture source spans at the level of detail we would want for coverage, but it’s good enough to be better than nothing.