Skip to content

0.619

Compare
Choose a tag to compare
@github-actions github-actions released this 30 Mar 23:18
47ad768

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