Type is not narrowed when inferring number-like string

[graphemecluster]

Bug Report

Is this working as intended?

🔎 Search Terms

infer with extends

🕗 Version & Regression Information

New feature in 4.7.0

⏯ Playground Link

Playground link with relevant code

💻 Code

type foo = "42" extends `${infer T extends number}` ? T : never

🙁 Actual behavior

Type of foo is inferred as number.

🙂 Expected behavior

Type of foo is inferred as 42.

[jcalz]

It is working as intended until and unless #48094 is merged.

[graphemecluster]

Ah, OK. So this is a duplicate of #47141. Sorry for that.