coverage: Split off mappings.rs from spans.rs and from_mir.rs#124545

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

Zalathar:mappingsZalathar/rust:mappingsCopy head branch name to clipboard