{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"self.r.record_pat_span(pat.id,"}]}
                    self.r.record_pat_span(pat.id, pat.span);
                    self.r.record_partial_res(pat.id, PartialRes::new(res));
                }