{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"pat_span,"}]}
                pat_span,
                self.mk_expr(pat_span, ExprKind::Dummy), // equivalent to transforming the parsed pattern into an `Expr`
            )