Sync to upstream/release/617

[alexmccord]

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 aaronweiss@roblox.com Co-authored-by: Andy Friesen afriesen@roblox.com Co-authored-by: Aviral Goel agoel@roblox.com Co-authored-by: David Cope dcope@roblox.com Co-authored-by: Lily Brown lbrown@roblox.com Co-authored-by: Vyacheslav Egorov vegorov@roblox.com