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

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

Zalathar:coverage-infoZalathar/rust:coverage-infoCopy head branch name to clipboard