Sync to upstream/release/644

[vegorov-rbx]

In this update we improve overall stability of the new type solver and address some type inference issues with it.

If you use the new solver and want to use all new fixes included in this release, you have to reference an additional Luau flag:

LUAU_DYNAMIC_FASTINT(LuauTypeSolverRelease)

And set its value to 644:

DFInt::LuauTypeSolverRelease.value = 644; // Or a higher value for future updates

New Solver

• Fixed a debug assertion failure in autocomplete (Fixes assert triggered in new type solver for Intersection Types #1391)
• Fixed type function distribution issue which transformed len<> and unm<> into not<> (Fixes # operator applied to array table is typed as boolean sometimes #1416)
• Placed a limit on the possible normalized table intersection size as a temporary measure to avoid hangs and out-of-memory issues for complex type refinements
• Internal recursion limits are now respected in the subtyping operations and in autocomplete, to avoid stack overflow crashes
• Fixed false positive errors on assignments to tables whose indexers are unions of strings
• Fixed memory corruption crashes in subtyping of generic types containing other generic types in their bounds

---

Internal Contributors:

Co-authored-by: Aaron Weiss aaronweiss@roblox.com
Co-authored-by: Andy Friesen afriesen@roblox.com
Co-authored-by: Vyacheslav Egorov vegorov@roblox.com