Fragment Autocomplete: a new API allows for type checking a small fragment of code against an existing file, significantly speeding up autocomplete performance in large files.
New Solver
E-Graphs have landed: this is an ongoing approach to make the new type solver simplify types in a more consistent and principled manner, based on similar work (see: https://egraphs-good.github.io/).
Adds support for exporting / local user type functions (previously they were always exported).
Fixes a set of bugs in which the new solver will fail to complete inference for simple expressions with just literals and operators.
General Updates
Requiring a path with a ".lua" or ".luau" extension will now have a bespoke error suggesting to remove said extension.
Fixes a bug in which whether two Luau::Symbols are equal depends on whether the new solver is enabled.
What's New?
New Solver
General Updates
Luau::Symbols are equal depends on whether the new solver is enabled.Internal Contributors:
Co-authored-by: Aaron Weiss aaronweiss@roblox.com Co-authored-by: Andy Friesen afriesen@roblox.com Co-authored-by: David Cope dcope@roblox.com Co-authored-by: Hunter Goldstein hgoldstein@roblox.com Co-authored-by: Varun Saini vsaini@roblox.com Co-authored-by: Vighnesh Vijay vvijay@roblox.com Co-authored-by: Vyacheslav Egorov vegorov@roblox.com