Skip to content

0.644

Compare
Choose a tag to compare
@github-actions github-actions released this 20 Sep 17:39
f5dabc2

What's Changed

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 #1391)
  • Fixed type function distribution issue which transformed len<> and unm<> into not<> (Fixes #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 [email protected]
Co-authored-by: Andy Friesen [email protected]
Co-authored-by: Vyacheslav Egorov [email protected]

Full Changelog: 0.643...0.644