From 4bdf97e4c94ac2fb6f1a71a44ada599499352680 Mon Sep 17 00:00:00 2001
From: karl-police <karl-police2001@bluewin.ch>
Date: Fri, 13 Sep 2024 21:10:23 +0200
Subject: [PATCH] Update ConstraintSolver.cpp

---
 Analysis/src/ConstraintSolver.cpp | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/Analysis/src/ConstraintSolver.cpp b/Analysis/src/ConstraintSolver.cpp
index ae02c60a..d7ac2c5d 100644
--- a/Analysis/src/ConstraintSolver.cpp
+++ b/Analysis/src/ConstraintSolver.cpp
@@ -1422,8 +1422,13 @@ bool ConstraintSolver::tryDispatch(const PrimitiveTypeConstraint& c, NotNull<con
     // This is probably the only thing that makes this not insane to do.
     if (auto refCount = unresolvedConstraints.find(c.freeType); refCount && *refCount > 1)
     {
-        block(c.freeType, constraint);
-        return false;
+        // canMutate here is used to check if the freeType is owned by the same constraint
+        if (canMutate(c.freeType, constraint) == false)
+        {
+            // if it isn't owned by the same constraint, then we can block it
+            block(c.freeType, constraint);
+            return false;
+        }
     }
 
     TypeId bindTo = c.primitiveType;