{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"rest_pat:"}]}
        rest_pat: Option<ast::RestPat>,
        fields: impl IntoIterator<Item = ast::RecordPatField>,
    ) -> ast::RecordPatFieldList {