coverage: Rename mir::coverage::BranchInfo to CoverageInfoHi#127352
Merged
bors merged 2 commits intorust-lang:masterfrom Zalathar:coverage-infoJul 5, 2024
+117-87
mir::coverage::BranchInfo to CoverageInfoHi#127352