{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":")"}]}
    ) -> PResult<'a, Option<rustc_ast::ptr::P<ast::FnContract>>> {
        &mut self,
        let requires = if self.eat_keyword_noexpect(exp!(ContractRequires).kw) {