{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"range.end().max(span.range.end()),"}]}
            range.end().max(span.range.end()),
            range.start().min(span.range.start()),
        );