{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"//"}]}
            // end before the start of the current span.
            // Both lists are sorted, so we can permanently skip any holes that
            if hole.span.hi() <= covspan.span.lo() {