"Generic type ' Example' requires 1 type argument(s)." ts(2314) not thrown in .d.ts file

Bug Report

🔎 Search Terms

• generic type
• ts 2314
• .d.ts

🕗 Version & Regression Information

• Versions I tried: I tried 3.3.3, 4.1.3 and 4.3.0-dev.20210216.

⏯ Playground Link

Repo link with relevant code

(Repo is small. TypeScript is the only dependency.)

💻 Code

export type Example = {
  _links: Links<>; // throws error in a .ts file, but not a .d.ts file
};

🙁 Actual behavior

No error thrown.

🙂 Expected behavior

Throw "Generic type ' Example' requires 1 type argument(s)." ts(2314).

リンクされている d-ts-bug-demo リポジトリから始め、報告された TypeScript バージョンを使って .ts と .d.ts の例の違いを再現してください。宣言ファイル内のジェネリック参照をコンパイラーがどのように処理するかを追跡し、その後、期待される ts(2314) 診断が生成されることを、.ts の有効な動作を変更せずに確認してください。