coverage: Remove the final span-merge pass, and rename is_closure
to is_hole
#121433
Closed
Zalathar wants to merge 4 commits intorust-lang:masterfrom
Closed
coverage: Remove the final span-merge pass, and rename `is_closure` to `is_hole`#121433Zalathar wants to merge 4 commits intorust-lang:masterfrom
Zalathar wants to merge 4 commits intorust-lang:masterfrom