From 10cee7183c5838e39c69404ef224f8b2ce929d5b Mon Sep 17 00:00:00 2001
From: Shushi Hong <820958424@qq.com>
Date: Wed, 3 Dec 2025 11:23:42 -0500
Subject: [PATCH] Revert "[ARITH] Fix InternalError: Check failed: (eval_vec_)
 is false (#18536)"

This reverts commit cd820b54371c615919e7b58819872b3da451cc6e.
---
 src/arith/int_set.cc | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/arith/int_set.cc b/src/arith/int_set.cc
index 1e87bc086c77..1433ceb70fc0 100644
--- a/src/arith/int_set.cc
+++ b/src/arith/int_set.cc
@@ -532,10 +532,7 @@ class IntervalSetEvaluator : public ExprFunctor<IntervalSet(const PrimExpr&)> {
   }
 
   IntervalSet VisitExpr_(const BroadcastNode* op) final {
-    if (!eval_vec_) {
-      DLOG(WARNING) << "cannot evaluate set on expression " << ffi::GetRef<PrimExpr>(op);
-      return IntervalSet::Everything();
-    }
+    ICHECK(eval_vec_);
     return VisitExpr(op->value);
   }