{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"mcdc_degraded_branch_spans"}]}
        mcdc_degraded_branch_spans
    for coverage::MCDCBranchSpan { span, true_marker, false_marker, .. } in
    {