What's new?

More progress on the upcoming analysis API for fragment type inference.
Fix a bug in type normalization where intersection did not appropriately respect resource limits (affects new and old type solvers).
Allow type normalization to track cyclic pairs of types in inhabitance checks.
Fix a bug in the old type solver where Unifier did not necessarily live long enough.
Check the coroutine stack size before resuming in the Luau VM.

New Type Solver

Add support for typestating table.freeze and updated its behavior to transform the given table types into being marked read-only for all of its properties. More to come here for indexers when we add support for read-only indexers.
Fix #1453 by adding a missing arity check to string.format.
Fix a crash when editing caused by invalid AST states not being visited properly by the type solver.
Fix a crash in type simplification caused by missing follow calls.

Internal Contributors:

Co-authored-by: Aaron Weiss [email protected]
Co-authored-by: Andy Friesen [email protected]
Co-authored-by: Hunter Goldstein [email protected]
Co-authored-by: Vighnesh Vijay [email protected]
Co-authored-by: Vyacheslav Egorov [email protected]