{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            span = span.with_hi(span.hi() + rustc_span::BytePos(1));
        let end = sm.lookup_char_pos(span.hi());