microsoft / microsoft/TypeScript

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

Aperta
#64,308 2 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Working as Intended
Lingua principale
Go
Stelle
111k
Fork
14.3k
Merge medio
2g 4h
PR unite (30g)
132

Descrizione

### 🔎 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`.

Guida per i contributori

Apri la guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Direzione di ricerca

Riproduci l’errore dal Playground collegato usando noUnusedParameters e gli overload di createRef mostrati, quindi traccia la gestione da parte del compilatore dei parametri di tipo generici inutilizzati nelle dichiarazioni degli overload. Aggiungi un test di regressione che copra il comportamento della versione 7 e verifica che l’esempio non segnali più TS6196, mentre le altre diagnostiche sui parametri inutilizzati rimangano corrette.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Valutazione

Stack tecnologico
typescript
Ambito
compilers
Tipo di issue
Bug
Difficoltà
3/5
Tempo stimato
1-2 giorni
Stato di attività
Attiva
Chiarezza
Specificata chiaramente
Idoneità per principianti
68/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.