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

Beginne mit der verlinkten Playground-Reproduktion und vergleiche die generierte Deklaration für const a = () => a mit der erwarteten typeof a-Form. Verfolge den Pfad zur Deklarationsgenerierung für diesen rekursiven Typ und füge einen Regressionstest für noImplicitAny hinzu oder aktualisiere ihn. Als erledigt gilt die Aufgabe, wenn rekursive Deklarationen kein implizites any mehr einführen oder ein entsprechender Fehler gemeldet wird.