{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"(left_span,"}]}
                    (left_span, dot_span, right_span)
                    let right_span = span.with_lo(dot_span.hi());
                } else {