{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
            // Both lists are sorted, so we can permanently skip any holes that
        while let Some(hole) = holes.get(curr_hole) {
            // end before the start of the current span.