0.638

What's Changed

New Solver

• Fix some type inference issues surrounding updates to upvalues eg

local x = 0

function f()
    x = x + 1
end

• User-defined type function progress
• Bugfixes for normalization of negated class types. eg SomeClass & (class & ~SomeClass)
• Fixes to subtyping between tables and the top table type.

Internal Contributors

Co-authored-by: Andy Friesen [email protected]
Co-authored-by: Jeremy Yoo [email protected]
Co-authored-by: Vyacheslav Egorov [email protected]

Full Changelog: 0.637...0.638