{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"mir_body:"}]}
    mir_body: &mir::Body<'_>,
    coverage_info_hi: &CoverageInfoHi,
) -> IndexVec<BlockMarkerId, Option<BasicBlock>> {