0.596
What's Changed
- Support Control Flow type Refinements for "break" and "continue" statements by @AmberGraceSoftware in #1004
- The old type unification engine will now report a more fine-grained error at times, indicating that type normalization in particular failed
New Type Solver
- Refactor of Unifier2, the new unification implementation for Luau
- Completed MVP of new unification implementation
- Dramatically simplified overload selection logic
- Type family reduction can now apply sooner to free types that have been solved
- Subtyping now supports table indexers
- Generalization now replaces bad generics with unknown
Native Code Generation
- Reduce stack spills caused by FINDUPVAL and STORE_TAG
- Generate SHL/SHR/SAR/rotates with immediate operands in X64
- Removed redundant case re-check in table lookup fallback
New Contributors
- @AmberGraceSoftware made their first contribution in #1004
Full Changelog: 0.595...0.596