{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
            // Adjusting span endpoints by `BytePos(1)` is normally a bug,
        .span_to_source(span, |src, start, end| try {
            // but in this case we have specifically checked that the character