microsoft / microsoft/TypeScript

typescript version 7 complains about unused generic type even though version 6 does not

オープン
#64,308 コメント 2 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

Working as Intended
主要言語
Go
スター
111k
フォーク
14.3k
平均マージ
2日 4時間
マージ済み PR(30日)
132

説明

### 🔎 Search Terms

"TS6196", "is declared but never used", "unused generic", "noUnusedParameters"

### 🕗 Version & Regression Information

- This changed between versions 6.0.3 and 7.0.2

### ⏯ Playground Link

https://www.typescriptlang.org/play/?#code/C4TwDgpgBAShBmAeAKgPigXigbwFAEgA3AQwBsBXCALimQBpcBfXXecgOwGNgBLAe3ZROAJwjFgEOEnoBVKBAAeE9gBMAzlEJ8eK1AAoSFapu0qAlDSkpUAblYdu-QSLESraA2Uo1kF2Ams7Ni5eASFRcUkAj0NvWj93dDx8UWByYUFkoi8IBnxGO2ZcTgE1YChReABGTHDXKPg9MzsS9jU+UggAOlI+AHM9Sqrm4tLyyoAmWpdIq3ZyAFsAIwhhOhMdfRHW9s6e-sGECe2xioQAZmmItwD55dX9KvOTto7u3oHK57sgA

### 💻 Code

```ts
type Ref = {
value: T,
}

function createRef(value: void): Ref;
function createRef(value: T): Ref;
function createRef(value: T): Ref {
return {
value,
};
}

const ref1 = createRef();
console.log(ref1);
const ref2 = createRef();
console.log(ref2);
const ref3 = createRef(13);
console.log(ref3);
```

### 🙁 Actual behavior

The typescript compiler version 7 fails with following error message:

```
code.ts:5:22 - error TS6196: 'U' is declared but never used.

5 function createRef(value: void): Ref;
~~~~~~~~~~~~~~

Found 1 error in code.ts:5
```

The typescript compiler version 6 succeeds without any errors.

### 🙂 Expected behavior

The typescript compiler version 7 should behave exactly like version 6 i.e. not fail.

### Additional information about the issue

This error only occurs with `noUnusedParameters` set to `true`.

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

調査の方向性

noUnusedParameters と示されている createRef のオーバーロードを使って、リンク先の Playground でエラーを再現し、その後、オーバーロード宣言内の未使用のジェネリック型パラメーターをコンパイラーがどのように処理しているかを追跡します。version-7 の動作を対象とする回帰テストを追加し、他の未使用パラメーターの診断が引き続き正しい一方で、例では TS6196 が報告されなくなっていることを確認します。

索引モデルが issue の本文から書いたものです。

評価

技術スタック
typescript
領域
compilers
issue の種類
バグ
難易度
3/5
見積もり時間
1〜2日
活発さ
活発
明瞭さ
明確に書かれている
初心者へのやさしさ
68/100

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。