coverage: Rename `mir::coverage::BranchInfo` to `CoverageInfoHi`#127352

Merged

bors merged 2 commits intorust-lang:masterfrom

Zalathar:coverage-info

Jul 5, 2024

Commits on Jul 5, 2024

coverage: Rename `mir::coverage::BranchInfo` to `CoverageInfoHi`
Zalathar
committed
Tweak how the extra newline is printed after coverage info
Zalathar
committed