{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"curr_hole"}]}
                curr_hole += 1;
            if hole.span.hi() <= covspan.span.lo() {
                continue;