[WIP] Fix stack overflow in code type checking

[Copilot]

Thanks for asking me to work on this. I will get started on it and keep this PR's description up to date as I form a plan and make progress.

Original prompt

Fix the stack overflow that occurs when checking this code (requires --strict on):

const { c, f }: string | number = { c: 0, f };

Your fix must be resilient to syntax variations, e.g.:

const { a, f }: string | number = { a: 0, f: (1 + f) };

and non-immediate circularities, e.g.

const { a, f }: string | number = { a: f, f: a };

---

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.