{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":");"}]}
                                        );
                                            Path { span: new_span, segments, tokens: None },
                                        first_pat = self.mk_pat(new_span, path);