{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"span"}]}
                                span = span.with_lo(prev_span.hi());
                                // Remove the previous comma as well.
                            }