diff --git a/src/relay/analysis/type_solver.cc b/src/relay/analysis/type_solver.cc
index 79b340390ba1c..5bd5698d8321f 100644
--- a/src/relay/analysis/type_solver.cc
+++ b/src/relay/analysis/type_solver.cc
@@ -639,8 +639,6 @@ bool TypeSolver::Solve() {
     } catch (const CompileError& err) {
       this->Emit(Diagnostic::Error(rnode->span) << err.what());
       rnode->resolved = false;
-    } catch (const Error& e) {
-      ICHECK(false) << e.what();
     }
 
     // Mark inqueue as false after the function call