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

🔎 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

type Ref<T> = {
	value: T,
}

function createRef<T,U extends void>(value: void): Ref<T>;
function createRef<T>(value: T): Ref<T>;
function createRef<T>(value: T): Ref<T> {
	return {
		value,
	};
}

const ref1 = createRef();
console.log(ref1);
const ref2 = createRef<number, void>();
console.log(ref2);
const ref3 = createRef<number>(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<T,U extends void>(value: void): Ref<T>;
                       ~~~~~~~~~~~~~~


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.

Reproduziere den Fehler aus dem verlinkten Playground unter Verwendung von noUnusedParameters und den gezeigten createRef-Überladungen; verfolge dann, wie der Compiler ungenutzte generische Typparameter in Überladungsdeklarationen verarbeitet. Füge einen Regressionstest hinzu, der das Verhalten von Version 7 abdeckt, und überprüfe, dass das Beispiel TS6196 nicht mehr meldet, während andere Diagnosen zu ungenutzten Parametern weiterhin korrekt bleiben.