Before You File a Bug Report Please Confirm You Have Done The Following...

• I have tried restarting my IDE and the issue persists.
• I have updated to the latest version of the packages.
• I havesearched for related issues and found none that matched my issue.
• I haveread the FAQ and my problem is not listed.

Playground Link

https://typescript-eslint.io/play/#ts=4.7.4&sourceType=module&code=C4TwDgpgBAGlC8UDOwBOBLAdgcygHykwFcBbAIwlQG4AoG0SKASQBMAeAFQD4EoOoIAD2ARMLJFADeUdCwBcMzADNKzFgOGjxsKAF8oAfjVQFmCADdKtGiwgBjADYBDVNCVFMd4OgD2mKEqcXAAU5k4ORBAKHAA0MvJqQQCUCuY+stZKwdKyCgCMenEATEm0QA&eslintrc=N4KABGBEBOCuA2BTAzpAXGUEKQAIBcBPABxQGNoBLY-AWhXkoDt8B6Jge1tidmUQAmtAG4BDaKgwBtcNhyJo0DtEiyIAXVkBfEFqA&tsconfig=N4KABGBEDGD2C2AHAlgGwKYCcDyiAuysAdgM6QBcYoEEkJemy0eAcgK6qoDCAFutAGsylBm3TgwAXxCSgA

Repro Code

typeX=string|number;// 'X' is defined but never used. 1:6 - 1:7typeId<T>=Textends{id: inferIdextendsX} ?Id :never;// X is used here!declarefunctionf<T>(value:T,id:Id<T>):void;f({id:1},2);

ESLint Config

module.exports={parser:"@typescript-eslint/parser",rules:{"@typescript-eslint/no-unused-vars":["error"],},};

tsconfig

{}

Expected Result

I expected no error.

Actual Result

There was an error on line 1.

Additional Info

This is using the newinfer +extends syntax from TypeScript 4.7.

Versions