{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"self.write_pat_ty(pat,"}]}
                self.write_pat_ty(pat, ty.clone());
                };
                self.inside_assignment = old_inside_assign;