Skip to content

coverage: Extract hole spans from HIR instead of MIR#127199

Merged
bors merged 2 commits intorust-lang:masterfrom
Zalathar:hir-holes
Jul 8, 2024
Merged

coverage: Extract hole spans from HIR instead of MIR#127199
bors merged 2 commits intorust-lang:masterfrom
Zalathar:hir-holes

Commits

Commits on Jul 8, 2024