{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"Spacing::Joint,"}]}
            Spacing::Joint,
            token::Token::from_ast_ident(Ident::new(kw::ContractEnsures, feature_span)),
        ));