microsoft / microsoft/TypeScript
typescript version 7 complains about unused generic type even though version 6 does not
まだ誰も着手していません。
- 主要言語
- 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`.
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
noUnusedParameters と示されている createRef のオーバーロードを使って、リンク先の Playground でエラーを再現し、その後、オーバーロード宣言内の未使用のジェネリック型パラメーターをコンパイラーがどのように処理しているかを追跡します。version-7 の動作を対象とする回帰テストを追加し、他の未使用パラメーターの診断が引き続き正しい一方で、例では TS6196 が報告されなくなっていることを確認します。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- typescript
- 領域
- compilers
- issue の種類
- バグ
- 難易度
- 3/5
- 見積もり時間
- 1〜2日
- 活発さ
- 活発
- 明瞭さ
- 明確に書かれている
- 初心者へのやさしさ
- 68/100