{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"}"}]}
            } else if show_ctxt {
                format_to!(res, "{span}",);
                format_to!(res, "\\{}", span.ctx);