{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":")"}]}
    ) -> hir::Pat<'hir> {
        hir_id: hir::HirId,
        hir::Pat { hir_id, kind, span: self.lower_span(p.span), default_binding_modes: true }