Skip to content

0.616
Compare
Choose a tag to compare
@github-actions github-actions released this 09 Mar 00:52
0.616
ae459a0
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

What's Changed

  • Add a compiler hint to improve Luau memory allocation inlining

New Type Solver

  • Added a system for recommending explicit type annotations to users in cases where we've inferred complex generic types with type families.
  • Marked string library functions as @checked for use in new non-strict mode.
  • Fixed a bug with new non-strict mode where we would incorrectly report arity mismatches when missing optional arguments.
  • Implement an occurs check for unifications that would produce self-recursive types.
  • Fix bug where overload resolution would fail when applied to non-overloaded functions.
  • Fix bug that caused the subtyping to report an error whenever a generic was instantiated in an invariant context.
  • Fix crash caused by SetPropConstraint not blocking properly.
  • Fix bug where type checker forgot the refined rvalue when mutating a property.

Native Code Generation

  • Implement optimization to eliminate dead stores
  • Optimize vector ops for X64 when the source is computed (thanks, @zeux!)
  • Use more efficient lowering for UNM_* (thanks, @zeux!)

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: David Cope dcope@roblox.com
Co-authored-by: Lily Brown lbrown@roblox.com
Co-authored-by: Vyacheslav Egorov vegorov@roblox.com

Contributors

zeux
Assets 6