coverage: Extract hole spans from HIR instead of MIR#127199
Merged
bors merged 2 commits intorust-lang:masterfrom Jul 8, 2024
Merged
coverage: Extract hole spans from HIR instead of MIR#127199bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom