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

Add flagging

Browse source
This commit is contained in:
Math 2025-03-04 23:16:48 -03:00
parent 886b670d95
commit d47c9fdaab
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
Analysis/src/ConstraintGenerator.cpp
View file

@ -32,6 +32,7 @@ LUAU_FASTINT(LuauCheckRecursionLimit)
LUAU_FASTFLAG(DebugLuauLogSolverToJson) LUAU_FASTFLAG(DebugLuauLogSolverToJson)
LUAU_FASTFLAG(DebugLuauMagicTypes) LUAU_FASTFLAG(DebugLuauMagicTypes)
LUAU_FASTFLAG(LuauPreserveUnionIntersectionNodeForLeadingTokenSingleType) LUAU_FASTFLAG(LuauPreserveUnionIntersectionNodeForLeadingTokenSingleType)
LUAU_FASTFLAG(LuauPropagateExpectedTypesForCalls)
LUAU_FASTFLAGVARIABLE(LuauNewSolverPrePopulateClasses) LUAU_FASTFLAGVARIABLE(LuauNewSolverPrePopulateClasses)
LUAU_FASTFLAGVARIABLE(LuauNewSolverPopulateTableLocations) LUAU_FASTFLAGVARIABLE(LuauNewSolverPopulateTableLocations)
@ -2031,8 +2032,8 @@ InferencePack ConstraintGenerator::checkPack(const ScopePtr& scope, AstExprCall*
} }
else if (i < exprArgs.size() - 1 || !(arg->is<AstExprCall>() || arg->is<AstExprVarargs>())) else if (i < exprArgs.size() - 1 || !(arg->is<AstExprCall>() || arg->is<AstExprVarargs>()))
{ {
std::optional<TypeId> expectedType; std::optional<TypeId> expectedType = std::nullopt;
if (i < expectedTypesForCall.size()) if (FFlag::LuauPropagateExpectedTypesForCalls && i < expectedTypesForCall.size())
{ {
expectedType = expectedTypesForCall[i]; expectedType = expectedTypesForCall[i];
} }
@ -2043,7 +2044,7 @@ InferencePack ConstraintGenerator::checkPack(const ScopePtr& scope, AstExprCall*
else else
{ {
std::vector<std::optional<Luau::TypeId>> expectedTypes = {}; std::vector<std::optional<Luau::TypeId>> expectedTypes = {};
if (i < expectedTypesForCall.size()) if (FFlag::LuauPropagateExpectedTypesForCalls && i < expectedTypesForCall.size())
{ {
expectedTypes.insert(expectedTypes.end(), expectedTypesForCall.begin() + i, expectedTypesForCall.end()); expectedTypes.insert(expectedTypes.end(), expectedTypesForCall.begin() + i, expectedTypesForCall.end());
} }