{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"}"}]}
                }
                    self.cat_pattern(elt_place.clone(), before_pat, op)?;
                if let Some(slice_pat) = *slice {