luau-lang / luau

A fast, small, safe, gradually typed embeddable scripting language derived from Lua

https://luau-lang.org

MIT License

3.79k stars 349 forks source link

Sync to upstream/release/632 #1307

Closed aatxe closed 6 days ago

aatxe commented 6 days ago

What's Changed?

Fix #1137 by appropriately retaining additional metadata from definition files throughout the type system.
Improve Frontend for LSPs by appropriately allowing the cancellation of typechecking while running its destructor.

New Solver

Added support for the rawget type function.
Reduced overall static memory usage of builtin type functions.
Fixed a crash where visitors could mutate a union or intersection type and fail to invalidate iteration over them in doing so.
Revised autocomplete functionality to not rely on a separate run of the type solver when using the new solver.
Implemented a more relaxed semantic rule for casting.
Fixed some smaller crashes in the new solver.

Native Code Generation

Add additional codegen specialization for math.sign
Cleaned up a large number of outstanding fflags in the code.

Internal Contributors

Co-authored-by: Aaron Weiss aaronweiss@roblox.com Co-authored-by: Alexander McCord amccord@roblox.com Co-authored-by: Andy Friesen afriesen@roblox.com Co-authored-by: James McNellis jmcnellis@roblox.com Co-authored-by: Jeremy Yoo jyoo@roblox.com Co-authored-by: Vighnesh Vijay vvijay@roblox.com Co-authored-by: Vyacheslav Egorov vegorov@roblox.com