{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"new_tts.push_tree(TokenTree::Token("}]}
        new_tts.push_tree(TokenTree::Token(
    expand_contract_clause(ecx, attr_span, annotated, |new_tts| {
            token::Token::from_ast_ident(Ident::new(kw::ContractEnsures, feature_span)),