Generated d.ts includes implicit any for recursive types

🔎 Search Terms

recursive any noImplicitAny d.ts

🕗 Version & Regression Information

• This is the behavior in every version I tried (3.3 through 5.2), and I reviewed the FAQ for entries about anything related to this.

⏯ Playground Link

playground link

💻 Code

const a = () => a;

🙁 Actual behavior

Any is implicitly introduced in the d.ts:

declare const a: () => any;

Note that the local type checking (not using the d.ts) correctly handles this recursive type without introducing "any", and builds fine with noImplicitAny enabled.

🙂 Expected behavior

Either generate something without implicitly introducing any, or generate an error if noImplicitAny is enabled.
In this case, the below code generation for the d.ts would work:

declare const a: () => typeof a;

Additional information about the issue

No response

Bắt đầu với bản tái hiện Playground được liên kết và so sánh khai báo được tạo cho const a = () => a với dạng typeof a được mong đợi. Theo dõi đường dẫn tạo khai báo cho kiểu đệ quy này và thêm hoặc cập nhật một bài kiểm thử hồi quy cho noImplicitAny. Được xem là hoàn thành khi các khai báo đệ quy không còn đưa vào any ngầm định hoặc một lỗi phù hợp được báo cáo.