{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"coverage_info_hi:"}]}
    coverage_info_hi: &coverage::CoverageInfoHi,
fn write_coverage_info_hi(
    w: &mut dyn io::Write,