{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"token::Token::from_ast_ident(Ident::new(kw::ContractRequires,"}]}
            token::Token::from_ast_ident(Ident::new(kw::ContractRequires, feature_span)),
        new_tts.push_tree(TokenTree::Token(
            Spacing::Joint,