0.619
What's Changed
New Type Solver
- Many fixes to crashes, assertions, and hangs
- Binary type family aliases now have a default parameter
- Added a debug check for unsolved types escaping the constraint solver
- Overloaded functions are no longer inferred
- Unification creates additional subtyping constraints for blocked types
- Attempt to guess the result type for type families that are too large to resolve timely
Native Code Generation
- Fixed
IrCmd::CHECK_TRUTHY
lowering in a specific case - Detailed compilation errors are now supported
- More work on the new allocator
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: Lily Brown lbrown@roblox.com
Co-authored-by: Vyacheslav Egorov vegorov@roblox.com