{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"hir::ExprKind::Array(exprs)"}]}
            hir::ExprKind::Array(exprs) => self.propagate_through_exprs(exprs, succ),
            // Uninteresting cases: just propagate in rev exec order