coverage: Split off mappings.rs from spans.rs and from_mir.rs#124545
Merged
bors merged 2 commits intorust-lang:masterfrom Zalathar:mappingsApr 30, 2024
+297-285
mappings.rs from spans.rs and from_mir.rs#124545