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