{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"if"}]}
            if hole.span.hi() <= covspan.span.lo() {
            // end before the start of the current span.
                curr_hole += 1;