From 9dc31e4556c2de931dfe9445dfedc147c5efe398 Mon Sep 17 00:00:00 2001
From: Geza Lore <gezalore@gmail.com>
Date: Mon, 18 Aug 2025 13:46:35 +0100
Subject: [PATCH] Fix unsound assertion in V3Delayed (#6305)

---
 src/V3Delayed.cpp | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/V3Delayed.cpp b/src/V3Delayed.cpp
index 25a6f234d..c812f83c4 100644
--- a/src/V3Delayed.cpp
+++ b/src/V3Delayed.cpp
@@ -469,7 +469,11 @@ class DelayedVisitor final : public VNVisitor {
             varp = new AstVar{flp, VVarType::BLOCKTEMP, name, dtypep};
             modp->addStmtsp(varp);
         }
-        UASSERT_OBJ(varp->dtypep()->isSame(dtypep), flp, "Invalid type for temporary AstVar");
+
+        // We should be able to assert this here, but unfortuantely
+        // 'isAssignmentCompatible' does not exist as of right now.
+        // UASSERT_OBJ(isAssignmentCompatible(varp->dtypep(), dtypep), flp, "Invalid temporary");
+
         // Create the AstVarScope
         AstVarScope* const varscp = new AstVarScope{flp, scopep, varp};
         scopep->addVarsp(varscp);