5.8.3 - Big repo with complex types in Angular - Maximum call stack size exceeded

🔎 Search Terms

max call stack size

🕗 Version & Regression Information

• I was unable to test this on prior versions because of custom code on our end

⏯ Playground Link

No response

💻 Code

We use a custom version of TypeScript, here are our changes, all the changes are similar, we just changed the values and the version of TS to publish it on our Azure DevOps

src/compiler/checker.ts

...
19126    if (tailCount === 5e4) {
...
20365    if (instantiationDepth === 5e3 || instantiationCount >= 5e8) {
...

lib/_tsc.js

...
61663    if (tailCount === 5e4) {
...
62704    if (instantiationDepth === 5e3 || instantiationCount >= 5e8) {
...

lib/typescript.js

...
66273    if (tailCount === 5e4) {
...
67314    if (instantiationDepth === 5e3 || instantiationCount >= 5e8) {
...

As for our repository I could share it somewhere under some NDA because the error depends probably on the size and the complexity of the types.

🙁 Actual behavior

RangeError: Maximum call stack size exceeded
      at ...\node_modules\typescript\lib\typescript.js:72137:242
      at map (...\node_modules\typescript\lib\typescript.js:2491:19)
      at inferTypesFromTemplateLiteralType (...\node_modules\typescript\lib\typescript.js:72137:224)
      at inferToTemplateLiteralType (...\node_modules\typescript\lib\typescript.js:72590:23)
      at inferFromTypes (...\node_modules\typescript\lib\typescript.js:72364:9)
      at inferTypes (...\node_modules\typescript\lib\typescript.js:72209:5)
      at structuredTypeRelatedToWorker (...\node_modules\typescript\lib\typescript.js:69945:13)
      at structuredTypeRelatedTo (...\node_modules\typescript\lib\typescript.js:69474:21)
      at recursiveTypeRelatedTo (...\node_modules\typescript\lib\typescript.js:69425:19)
      at isRelatedTo (...\node_modules\typescript\lib\typescript.js:68843:122)

🙂 Expected behavior

All this used to work with 5.4.5 but it does not with 5.8.3

Additional information about the issue

We always had problems with complex types in TypeScript in our project which is pretty big (which also makes us question if it is really suited for bigger projects...).
We have experienced a lot of Type instantiation is excessively deep and possibly infinite errors and it's not clear which types cause them or how to solve the issue.
So we resolved to "hacking" TypeScript by using a custom version of 5.4.5 where we bumped up the values of tailCount, instantiationDepth and instantiationCount to fit our needs and everything was working with Angular 17 and 18, when we tried upgrading to Angular 19 with TypeScript 5.8.3 "hacked" we get the Error above.

このレポートは src/compiler/checker.ts と、生成された lib/typescript.js および lib/_tsc.js を指しており、スタックは inferTypesFromTemplateLiteralType と関連する推論関数に入っています。まず、非公開の Angular リポジトリのケースを公開された再現例に縮小し、TypeScript 5.4.5 と 5.8.3 を比較してください。再現例が最大コールスタックエラーを引き起こさなくなり、期待される型チェックの動作を維持していれば完了です。