{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":")"}]}
) {
    mcdc_mappings: &mut impl Extend<(MCDCDecision, Vec<MCDCBranch>)>,
    let Some(coverage_info_hi) = mir_body.coverage_info_hi.as_deref() else { return };