Skip to content

coverage: Remove the final span-merge pass, and rename is_closure to is_hole#121433

Closed
Zalathar wants to merge 4 commits into
rust-lang:masterfrom
Zalathar:hole
Closed

coverage: Remove the final span-merge pass, and rename is_closure to is_hole#121433
Zalathar wants to merge 4 commits into
rust-lang:masterfrom
Zalathar:hole

coverage: Rename `is_closure` to `is_hole`

303c333
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs