{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":".span_extend_to_next_char(*pat_span,"}]}
                            .span_extend_to_next_char(*pat_span, ',', true);
                            .source_map()
                        span.with_hi(BytePos(span.hi().0 + 1))