microsoft / microsoft/TypeScript

`symbolToNode` stack overflow when using recursive types and functions with type parameters

Đang mở
#63,441 4 bình luận 3 reaction 0 người được giao Xem trên GitHub

Chưa có ai nhận issue này.

Bug Domain: check: Type Circularity
Ngôn ngữ chính
Go
Star
111k
Fork
14.3k
Merge trung bình
2 ngày 4 giờ
Pull request đã merge (30 ngày)
132

Mô tả

### 🔎 Search Terms

"symbolToNode", "stack overflow", "Maximum call stack size exceeded"

### 🕗 Version & Regression Information

This is happening in v5, v6, and tsgo (I didn't check prior versions)

### ⏯ Playground Link

_No response_

### 💻 Code

Coming from https://github.com/typescript-eslint/typescript-eslint/issues/11947, I created a reproduction that's agnostic to ESLint:

```ts
export interface CustomNode

{
getNextNode: () => CustomNode

;
}

export declare const createNode: () => {
getNextNode: () => CustomNode;
};

function wrapNode(getNode: () => CustomNode) {
// ...
// Wrapping logic here
// ...

return getNode;
}

wrapNode(() => {
const node = createNode();

return wrapNode>(node.getNextNode);
});

```

Full Repro and more details: https://github.com/StyleShit/repros/tree/main/ts-symbolToNode-stack-overflow

### 🙁 Actual behavior

Running `tsc` is failing with "Maximum call stack size exceeded" error

### 🙂 Expected behavior

Running `tsc` should not fail

### Additional information about the issue

_No response_

Hướng dẫn đóng góp

Mở hướng dẫn đóng góp

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Hướng nghiên cứu

Bắt đầu bằng cách chạy tsc trên bản tái hiện được liên kết và lần theo đường đi symbolToNode liên quan đến các kiểu generic và hàm đệ quy. Xác định nơi quá trình chuyển đổi đệ quy chạm đến giới hạn ngăn xếp cuộc gọi, sau đó xác minh rằng bản tái hiện biên dịch được mà không gặp lỗi Maximum call stack size exceeded trên các phiên bản trình biên dịch bị ảnh hưởng.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Đánh giá

Công nghệ
typescript
Lĩnh vực
compilers
Loại issue
Lỗi
Độ khó
4/5
Thời gian dự kiến
3-5 ngày
Mức độ hoạt động
Ít trao đổi
Độ rõ ràng
Khá rõ ràng
Mức phù hợp với người mới
48/100

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.