Repository: TypeScript
Issue: Recursive types error: Type instantiation is excessively deep
Labels: Needs Investigation,Rescheduled

# Bug Report

<!--
  Please fill in each section completely. Thank you!
-->

I had got error `Type instantiation is excessively deep and possibly infinite.` in my JSON types - value to JSON transformation.
It's some new limitation introduced from v4.3.2?
Works fine with v4.2.4.

### 🕗 Version & Regression Information

<!-- When did you start seeing this bug occur?

"Bugs" that have existed in TS for a long time are very likely to be FAQs; refer to
  https://github.com/Microsoft/TypeScript/wiki/FAQ#common-bugs-that-arent-bugs

If possible, please try testing the nightly version of TS to see if it's already been fixed.
For npm: `typescript@next`
This is also the 'Nightly' version in the playground: http://www.typescriptlang.org/play/?ts=Nightly

Note: The TypeScript Playground can be used to try older versions of TypeScript.

Please keep and fill in the line that best applies:
-->
- This changed between versions 4.2.4 and 4.3.2

### ⏯ Playground Link

<!--
  A link to a TypeScript Playground "Share" link which shows this behavior

  The TypeScript Workbench can be used for more complex setups, try
  https://www.typescriptlang.org/dev/bug-workbench/

  As a last resort, you can link to a repo, but these will be slower for us to investigate.
-->
I couldn't get to make a short and simple example because when I removing any recursive type reference then error will disappeared.

[Playground link with relevant code](https://www.typescriptlang.org/play?jsx=0&ts=4.4.2#code/PQKgBApgzgNglgOwC4FoAmcoEMBGMJgjACwAUGaGAKpJwxSEnmlICeADgQIIKsDyOAFYQAxkjABeMACVRAewBOaADxQkCxAHMANGCy8AfAG4yZNpzA9WAMQCuCMXDkJJYABQA6L1gWaoALj1eAEpJAyDWE2ZzAgBJADMAUQAPJAgENChlABVdbI4IPIALdNdcsET6AikECAA3CAVwqRT1LDEcvILwiFT0zLBahoUyMDAAfgqq0bBA1oV2pE6wfM4evoyGVYgZyeyShBm5qqizArAAaQhWKD547eUuSA2BqwFhMV0AIV0AZXU4GJnmlNmAcHI5Ph9K51LYIM0wAA5ZyI2wwGC4fDKGYAbxmYwA2gAFMCIMAAa2ucnilgAuoF-hogb0QQNYTtSGMuRMwAlWv0svNFo9ibTvgZvroiboho0DPiuYEuKLgQKwF8FWNJkTNbNBvVGlExgBfAmU1jUulkYymFjnFIiGC2NAQK43O4PJ4stVvISiJCSsCMwHib2g8GQiDQqTxLBVBFEwHk7GcyzaGYOp0u5Tmy1cXRu273AqPQPBsQGeWkG3Re2pBZiQsektel4MX0fAPqv4A5ltsEQqEuGNxqDw1yJkTJmb5mZN4ucUvdoO9pBVmtnCx8di0Zw5BE4sCaCBIQJuUIScLZMDG06kSiydgKOSMW0xCrJR3OiB2By7hBZK2rLtrw7z+gimbfvOnq6FYv6OM4G52hYABqcZwGgRLPuwgGqqCHb+rofAALZwEghZ4QMuY0vorAQZ+WY-vYCEASmYwkWRS4ceR1wMAAPhSVI0gAUr8fCIr8jRwOhABemIQMotG6LRlbWne76ieJXAKAs-DxGxaYzLEUCyFgaDODArCUQwEZDumqbcRRYYDEKja8Y866uMZpnmQglnWWA7I8j5FmsNpunKMJUDOHA8SsFxpE8TclZ6uFWDxVFMVxQlZGFpW6nnNu-5xo8AUEZ8YCObxAWuUlgEpVIeKpsSpIuJB2bUR+bRue6C4KfmlU7k4CCKYYEqVYleW0uMgSZQgsXxcqRJihNuW8TWt5vucyIIEVw0lUBPqgX6FVVTcNX1oshYeQeMwtWSnVofAmHYYKDFQbxzaLgNe17ip41nVABj0mAc0LSKy1EZN61RJttYWJpiJgWIdylc5IH8CdXaAxd3V1TdriPehL1yDhBmzg50M3NaAWyiMqaTDixpHINxUwDldXhAAZEizi-QgB1Q2tyUFRYtXXVwCKHaC-PKIg8SNCsVZal1Db49kyupQFiOSRosnyXLCAKwoKzKYYuyq1d7kayz0sDCFflhTp6WG8bSsW+L1ua0qZXHZ2FudVwLN03evTsIo4gadF83ZT9VMMOjls9fVrh01LAWy-Lis2wzoPR+D5S1cogO6J7Nz7ilAn2C68SIBAaC29rYkSVJ+t4ApWcm+UKkW2D2WF5dHQl0n6uVt7lgBQ7llpfFnfu7niMz6j5R2+2zvxSpPKxlUersqXg9LMPZdZBrqmpj7idUIgSAABwz2AAlX8gACMABs9+P9fADMABMH+8sgO+68H4AKQG-f+sRkC-xnhbGeygEC2GIjgOUjdE7lSQL3ZuyMkCozjsLIGLM1AaAQJoUOyRw4KHENfRosYRAEB1q3eAcl25o37OgoWdVcZqwlgiNOYAmpjAUFGXy-kAD6Y49ZMPkrNZuutpJSJYXgzmRpApyERueWa+dY4cLyrDMgQA)