Fix IntVal unification logic to insert type casts + buffer element lowering regression. (#5508)

* Fix IntVal unification logic to insert type casts.

* Fix regression.

1 files changed, 6 insertions, 0 deletions

diff --git a/source/slang/slang-check-constraint.cpp b/source/slang/slang-check-constraint.cpp
index 13e3e4be6..872d2616c 100644
--- a/source/slang/slang-check-constraint.cpp
+++ b/source/slang/slang-check-constraint.cpp
@@ -925,6 +925,12 @@ bool SemanticsVisitor::TryUnifyIntParam(
     // We want to constrain the given parameter to equal the given value.
     Constraint constraint;
     constraint.decl = paramDecl;
+    // If `val` is of different type than `paramDecl`, we want to insert a type cast.
+    if (val->getType() != paramDecl->getType())
+    {
+        auto cast = m_astBuilder->getTypeCastIntVal(paramDecl->getType(), val);
+        val = cast;
+    }
     constraint.val = val;
 
     constraints.constraints.add(constraint);