luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-04-04 10:50:54 +01:00
Code Issues Projects Releases Packages Wiki Activity

Update ConstraintSolver.cpp

Browse source
This commit is contained in:
karl-police 2024-09-13 21:10:23 +02:00
parent b765d7bafd
commit 4bdf97e4c9
1 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
Analysis/src/ConstraintSolver.cpp
View file

@ -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. // This is probably the only thing that makes this not insane to do.
if (auto refCount = unresolvedConstraints.find(c.freeType); refCount && *refCount > 1) if (auto refCount = unresolvedConstraints.find(c.freeType); refCount && *refCount > 1)
{ {
block(c.freeType, constraint); // canMutate here is used to check if the freeType is owned by the same constraint
return false; 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; TypeId bindTo = c.primitiveType;