{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                s.synth_comment(format!("{}{:?}", name.as_u32(), span.ctxt()))
            pprust_ast::AnnNode::Name(&name) => {