fix: prevent stack overflow in symbolToTypeNode with recursive return type references#63322
Closed
wdskuki wants to merge 2 commits intomicrosoft:mainfrom
Closed
fix: prevent stack overflow in symbolToTypeNode with recursive return type references#63322wdskuki wants to merge 2 commits intomicrosoft:mainfrom
wdskuki wants to merge 2 commits intomicrosoft:mainfrom
Conversation
The error message 'Jump target cannot cross function boundary' was confusing because it didn't indicate which label was causing the issue. This change adds the label name to the error message when available. Before: 'Jump target cannot cross function boundary.' After: 'Jump target 'loopend' cannot cross function boundary.' Fixes microsoft#30408
… type references Fixes microsoft#63273 Add recursive reference detection in symbolToTypeNode using a visitedSymbols set in NodeBuilderContext. When a symbol is detected as already being processed, return never type to break the cycle. This prevents compiler crashes when a function's return type references itself via ReturnType<typeof functionName>.
Author
|
@microsoft-github-policy-service agree |
Member
|
See https://github.com/microsoft/TypeScript?tab=readme-ov-file#contribute - bugfixes should be in typescript-go repo |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Fixes #63273
Problem
When processing a type like:
The compiler enters infinite recursion:
typeToTypeNodeHelperprocesses the conditional typesymbolToTypeNode(clone, Value)to gettypeof clonecreateAccessFromSymbolChain→getNameOfSymbolAsWritten(clone)Solution
Add recursive reference detection in
symbolToTypeNodeusing avisitedSymbolsset in theNodeBuilderContext. When a symbol is detected as already being processed, returnnevertype to break the cycle.Changes
visitedSymbols: Set<string> | undefinedtoNodeBuilderContextinterfacesymbolToTypeNodevisitedSymbolson all return pathsTesting
Test case from #63273:
Before:
RangeError: Maximum call stack size exceededAfter: Compiles successfully (returns
neverfor the recursive reference)Related Issues
These may benefit from similar protection or may need separate fixes.