Sync to upstream Luau 0.735 (#1589)

Author: luau-language-server-helper[bot]

CHANGELOG.md

@@ -12,7 +12,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
 ### Changed
 
-- Sync to upstream Luau 0.733
+- Sync to upstream Luau 0.735
 
 ## [1.69.0] - 2026-07-14
 

luau

@@ -45,7 +45,7 @@ void parseDocumentation(const std::vector<std::string>& documentationFiles, Luau
                         info.at("code_sample").get_to(codeSample);
                     if (info.contains("keys"))
                     {
-                        Luau::DenseHashMap<std::string, Luau::DocumentationSymbol> keys{""};
+                        Luau::DenseHashMap2<std::string, Luau::DocumentationSymbol> keys{};
                         for (auto& [k, v] : info.at("keys").items())
                         {
                             keys[k] = v;
@@ -54,7 +54,7 @@ void parseDocumentation(const std::vector<std::string>& documentationFiles, Luau
                     }
                     else if (info.contains("overloads"))
                     {
-                        Luau::DenseHashMap<std::string, Luau::DocumentationSymbol> overloads{""};
+                        Luau::DenseHashMap2<std::string, Luau::DocumentationSymbol> overloads{};
                         for (auto& [sig, sym] : info.at("overloads").items())
                         {
                             overloads[sig] = sym;

src/DocumentationParser.cpp

@@ -11,6 +11,8 @@
 #include "LSP/DocumentationParser.hpp"
 #include "LSP/Diagnostics.hpp"
 
+LUAU_FASTFLAG(LuauSolverV2)
+
 #ifdef LSP_BUILD_WITH_SENTRY
 // sentry.h pulls in <windows.h>
 #ifdef _WIN32
@@ -920,7 +922,7 @@ void LanguageServer::onDidChangeWorkspaceFolders(const lsp::DidChangeWorkspaceFo
 
 void LanguageServer::onDidChangeWatchedFiles(const lsp::DidChangeWatchedFilesParams& params)
 {
-    Luau::DenseHashMap<WorkspaceFolderPtr, std::vector<lsp::FileEvent>> workspaceChanges{nullptr};
+    Luau::DenseHashMap2<WorkspaceFolderPtr, std::vector<lsp::FileEvent>> workspaceChanges{};
 
     for (const auto& change : params.changes)
     {

src/LanguageServer.cpp

@@ -322,7 +322,7 @@ std::optional<Luau::Location> lookupTypeLocation(const Luau::Scope& deepScope, c
 }
 
 // Returns [base, property] - base is important during intersections
-static std::vector<PropLookup> lookupProp(const Luau::TypeId& parentType, const Luau::Name& name, Luau::DenseHashSet<Luau::TypeId>& seenSet)
+static std::vector<PropLookup> lookupProp(const Luau::TypeId& parentType, const Luau::Name& name, Luau::DenseHashSet2<Luau::TypeId>& seenSet)
 {
     if (seenSet.contains(parentType))
         return {};
@@ -395,7 +395,7 @@ static std::vector<PropLookup> lookupProp(const Luau::TypeId& parentType, const
 
 std::vector<PropLookup> lookupProp(const Luau::TypeId& parentType, const Luau::Name& name)
 {
-    Luau::DenseHashSet<Luau::TypeId> seenSet{nullptr};
+    Luau::DenseHashSet2<Luau::TypeId> seenSet{};
     return lookupProp(parentType, name, seenSet);
 }
 

src/LuauExt.cpp

@@ -101,7 +101,7 @@ void WorkspaceFolder::onDidSaveTextDocument(const lsp::DocumentUri& uri, const l
     auto config = client->getConfiguration(rootUri);
     if (isWorkspaceDiagnosticsEnabled(client, config))
     {
-        Luau::DenseHashSet<Luau::ModuleName> dependents{""};
+        Luau::DenseHashSet2<Luau::ModuleName> dependents{};
         frontend.traverseDependents(fileResolver.getModuleName(uri),
             [&dependents](Luau::SourceNode& sourceNode)
             {

src/Workspace.cpp

@@ -28,7 +28,7 @@ struct Client
     /// A registered documentation file passed by the client
     std::vector<std::string> documentationFiles{};
     /// Parsed documentation database
-    Luau::DocumentationDatabase documentation{""};
+    Luau::DocumentationDatabase documentation{};
     /// Global configuration. These are the default settings that we will use if we don't have the workspace stored in configStore
     ClientConfiguration globalConfig{};
 

src/include/LSP/Client.hpp

@@ -49,7 +49,7 @@ struct StringRequireResult
     const char* sortText;    // For completion sorting
 };
 
-using AliasMap = DenseHashMap<std::string, Luau::Config::AliasInfo>;
+using AliasMap = DenseHashMap2<std::string, Luau::Config::AliasInfo>;
 
 std::string requireNameFromModuleName(const Luau::ModuleName& name);
 std::optional<std::string> computeBestAliasedPath(const Uri& to, const AliasMap& availableAliases);

src/include/Platform/StringRequireAutoImporter.hpp

@@ -7,6 +7,8 @@
 #include "Luau/TimeTrace.h"
 #include "LuauFileUtils.hpp"
 
+LUAU_FASTFLAG(LuauSolverV2)
+
 bool usingPullDiagnostics(const lsp::ClientCapabilities& capabilities)
 {
     return capabilities.textDocument && capabilities.textDocument->diagnostic;

src/operations/Diagnostics.cpp

@@ -32,7 +32,7 @@ static bool isSameTableDirect(const Luau::TypeId a, const Luau::TypeId b)
     return false;
 }
 
-static bool tableIsRelatedViaMetatable(const Luau::TypeId metatableType, const Luau::TypeId targetTable, Luau::DenseHashSet<Luau::TypeId>& visited)
+static bool tableIsRelatedViaMetatable(const Luau::TypeId metatableType, const Luau::TypeId targetTable, Luau::DenseHashSet2<Luau::TypeId>& visited)
 {
     auto mt = Luau::get<Luau::MetatableType>(Luau::follow(metatableType));
     if (!mt)
@@ -73,7 +73,7 @@ static bool isSameTable(const Luau::TypeId a, const Luau::TypeId b)
     if (isSameTableDirect(a, b))
         return true;
 
-    Luau::DenseHashSet<Luau::TypeId> visited{nullptr};
+    Luau::DenseHashSet2<Luau::TypeId> visited{};
 
     if (Luau::get<Luau::MetatableType>(Luau::follow(a)))
     {