{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":")"}]}
) -> Vec<BranchPair> {
    graph: &CoverageGraph,
    let Some(coverage_info_hi) = mir_body.coverage_info_hi.as_deref() else { return vec![] };