0.620

What's Changed

New Type Solver

• Many more fixes to crashes, assertions, and hangs
• Annotated locals now countermand the inferred types of locals, meaning that for a type type MyType = number | string, local foo : MyType = 5 behaves the same as local foo = 5 :: MyType, where before, foo would be assigned the type of the value on the rhs.
• Type Normalization now respects resource limits.
• Subtyping between classes and cyclic tables now supported

Native Code Generation

• Work on the Native Code Generation(NCG) allocator continues

---

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: Vighnesh Vijay vvijay@roblox.com
Co-authored-by: Vyacheslav Egorov vegorov@roblox.com