0.617

What's Changed

• Fix a case where the stack wasn't completely cleaned up where debug.info errored when passed "f" option and a thread.
• Fix a case of uninitialized field in luaF_newproto.

New Type Solver

• When a local is captured in a function, don't add a new entry to the DfgScope::bindings if the capture occurs within a loop.
• Fix a poor performance characteristic during unification by not trying to simplify an intersection.
• Fix a case of multiple constraints mutating the same blocked type causing incorrect inferences.
• Fix a case of assertion failure when overload resolution encounters a return typepack mismatch.
• When refining a property of the top table type, we no longer signal an unknown property error.
• Fix a misuse of free types when trying to infer the type of a subscript expression.
• Fix a case of assertion failure when trying to resolve an overload from never.

Native Code Generation

• Fix dead store optimization issues caused by partial stores.

---

Internal Contributors

Co-authored-by: Aaron Weiss [email protected]
Co-authored-by: Andy Friesen [email protected]
Co-authored-by: Aviral Goel [email protected]
Co-authored-by: David Cope [email protected]
Co-authored-by: Lily Brown [email protected]
Co-authored-by: Vyacheslav Egorov [email protected]