{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"}"}]}
    } else {
        prettify_macro_expansion(ctx.db, const_.syntax().clone(), &span_map, ctx.krate.into())
        const_.syntax().clone()