Microsoft/TypeScript

Crash: RangeError: Maximum call stack size exceeded during type serialization of recursive distributive mapped types

Open

#63090 opened on Feb 4, 2026

View on GitHub
 (1 comment) (0 reactions) (0 assignees)TypeScript (48,455 stars) (6,726 forks)batch import
BugDomain: check: Type CircularityHelp Wanted

Description

🔎 Search Terms

"Maximum call stack size exceeded"

"createTypeNodesFromResolvedType stack overflow"

"visitAndTransformType crash"

"recursive mapped type keyof distribution"

🕗 Version & Regression Information

Crashes in 5.7.3, 5.8.3, 5.9.3, Nightly,TS7.

⏯ Playground Link

https://www.typescriptlang.org/zh/play/?target=7&ts=6.0.0-dev.20260203#code/C4TwDgpgBAcgPAFQDRQNJQgD2BAdgEwGcpDgAnAS1wHMA+KAXgSgB8oBvAKCh6gG0AClCpoAugC5YcANYQQAewBmUZGlqcAvn1SiA3J1CQoAWUZTcAVwC2AIwhkUAImOPauoA

💻 Code

type N<T, K extends string> =T | {
    [P in K]: N<keyof T, K>
}[K];
type M = N<number, "M">;

🙁 Actual behavior


.\ts-versions\nightly\node_modules\.bin\tsc.cmd   recursivelyExpandingUnionNoStackoverflow_mutated_batch0.ts
D:\do\typeFuzz\ts-versions\nightly\node_modules\typescript\lib\_tsc.js:123214
      throw e;
      ^
RangeError: Maximum call stack size exceeded
    at instantiateTypeWorker (D:\do\typeFuzz\ts-versions\nightly\node_modules\typescript\lib\_tsc.js:63601:33)                                                                                           
    at instantiateTypeWithAlias (D:\do\typeFuzz\ts-versions\nightly\node_modules\typescript\lib\_tsc.js:63592:20)                                                                                        
    at instantiateType (D:\do\typeFuzz\ts-versions\nightly\node_modules\typescript\lib\_tsc.js:63560:29)                                                                                                 
    at getTypeOfMappedSymbol (D:\do\typeFuzz\ts-versions\nightly\node_modules\typescript\lib\_tsc.js:58471:24)                                                                                           
    at getTypeOfSymbol (D:\do\typeFuzz\ts-versions\nightly\node_modules\typescript\lib\_tsc.js:56838:14)                                                                                                 
    at getNonMissingTypeOfSymbol (D:\do\typeFuzz\ts-versions\nightly\node_modules\typescript\lib\_tsc.js:56861:30)                                                                                       
    at addPropertyToElementList (D:\do\typeFuzz\ts-versions\nightly\node_modules\typescript\lib\_tsc.js:52128:97)                                                                                        
    at createTypeNodesFromResolvedType (D:\do\typeFuzz\ts-versions\nightly\node_modules\typescript\lib\_tsc.js:52090:11)                                                                                 
    at createTypeNodeFromObjectType (D:\do\typeFuzz\ts-versions\nightly\node_modules\typescript\lib\_tsc.js:51815:25)                                                                                    
    at visitAndTransformType (D:\do\typeFuzz\ts-versions\nightly\node_modules\typescript\lib\_tsc.js:51738:24)                                                                                           

Node.js v22.19.0

🙂 Expected behavior

The compiler should not crash.

Additional information about the issue

No response

Contributor guide

Tech stack
typescript
Domain
backend
Issue type
bug
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
5
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
over 1 week
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
fresh
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
clear
Prerequisites
TypeScript type systemTypeScript compiler internalsrecursive types
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
10
Research direction
Investigate the stack trace: instantiateTypeWorker, getTypeOfMappedSymbol, createTypeNodesFromResolvedType. The crash occurs when processing recursive distributive mapped types (N<T, K>). Look at src/compiler/checker.ts for recursion guards or infinite loops in type instantiation. Check related issues or PRs about recursive mapped types. The code pattern is a recursive mapped type that distributes over a union, causing exponential expansion. A fix may involve adding a recursion limit or detecting the cycle.