rustc_middle::mir::pretty

Function write_coverage_info_hi

source 
fn write_coverage_info_hi(
    coverage_info_hi: &CoverageInfoHi,
    w: &mut dyn Write,
) -> Result<()>