Generic inference does not work as expected

[uriva]

🔎 Search Terms

type GenericGeneric<S> = <T extends S>(x: T) => T;
type GenericNumber = <T extends number>(t: T) => T;
type ExpectedTrue = GenericNumber extends GenericGeneric<infer _> ? true : false;

I expect the last type to be true but it's false

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about generics

⏯ Playground Link

No response

💻 Code

type GenericGeneric<S> = <T extends S>(x: T) => T;
type GenericNumber = <T extends number>(t: T) => T;
type ExpectedTrue = GenericNumber extends GenericGeneric<infer _> ? true : false;

🙁 Actual behavior

it's false

🙂 Expected behavior

should be `true

Additional information about the issue

No response

[jcalz]

The title is quite vague. The search terms and playground link are missing.

Looks like a duplicate of #41040