Module from_mir 

Structs

Hole 🔒

RawSpanFromMir 🔒

Functions

extract_raw_spans_from_mir 🔒

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.

filtered_statement_span 🔒

If the MIR Statement has a span contributive to computing coverage spans, return it; otherwise return None.

filtered_terminator_span 🔒

If the MIR Terminator has a span contributive to computing coverage spans, return it; otherwise return None.