{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"pat:"}]}
                pat: new_parameter_pat,
                hir_id: parameter.hir_id,
                ty_span: self.lower_span(parameter.ty_span),