Skip to content

0.611
Compare
Choose a tag to compare
@github-actions github-actions released this 02 Feb 21:39
0.611
67ce75e
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?

Native Code Generation

  • Fixed an UAF relating to reusing a hash key after a weak table has undergone some GC.
  • Fixed a bounds check on arm64 to allow access to the last byte of a buffer.

New Type Solver

  • Type states now preserves error-suppression, i.e. local x: any = 5 and x.foo does not error.
  • Made error-suppression logic in subtyping more accurate.
  • Subtyping now knows how to reduce type families.
  • Fixed function call overload resolution so that the return type resolves to the correct overload.
  • Fixed a case where we attempted to reduce irreducible type families a few too many times, leading to duplicate errors.
  • Type checker needs to type check annotations in function signatures to be able to report errors relating to those annotations.
  • Fixed an UAF from a pointer to stack-allocated data in Subtyping's explainReasonings.

Nonstrict Type Checker

  • Fixed a crash when calling a checked function of the form math.abs with an incorrect argument type.
  • Fixed a crash when calling a checked function with a number of arguments that did not exactly match the number of parameters required.

Internal Contributors

Co-authored-by: Aaron Weiss [email protected]
Co-authored-by: Andy Friesen [email protected]
Co-authored-by: Vyacheslav Egorov [email protected]

Assets 6
Loading