René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"NoInfer and overloaded function argument inference","articleBody":"### 🔎 Search Terms\r\n\r\nNoInfer, overload\r\n\r\n### 🕗 Version \u0026 Regression Information\r\n\r\nVersion 5.4.3\r\n- I was unable to test this on prior versions because this is a new feature\r\n\r\n\r\n### ⏯ Playground Link\r\n\r\nhttps://www.typescriptlang.org/play?#code/CYUwxgNghgTiAEAzArgOzAFwJYHtXwAcYdhkwQAKRALngDkcBJVREGAHgoEp4BeAPngA3HFmD8utbn0EixAbgBQoSLAQp02PIWKly7AIL8qtBs1YcKsAOa0DPAcNHjJ8KzFvx7MpwsWKwPABnDHgADykHWWc+HRIySmlHAEYuJUDUEPgATykbWhCYLFRrKN9gWKJ48goKITLUpSA\r\n\r\n### 💻 Code\r\n\r\n```ts\r\ndeclare function produce(f: NoInfer\u003c() =\u003e void\u003e): () =\u003e void;\r\ndeclare function produce\u003cA\u003e(f: NoInfer\u003c(arg: A) =\u003e void\u003e): (arg: A) =\u003e void;\r\n\r\nconst x: () =\u003e void = produce(() =\u003e 1); // works\r\nconst y: (arg: string) =\u003e void = produce((v) =\u003e 1); // Parameter 'v' implicitly has an 'any' type.\r\n```\r\n\r\n\r\n### 🙁 Actual behavior\r\n\r\nBecause `const y` is explicitly typed and thanks to the new utility `NoInfer` type, the compiler is able to figure out (from the return type) it is calling the `produce\u003cstring\u003e()` overload. (Without `NoInfer` it would just be `produce\u003cany\u003e()`). \r\n\r\nHowever, apparently it does not apply this knowledge to the function parameter `f` and thus the non type-hinted argument `v` is inferred as `any`\r\n\r\n![Screenshot 2024-03-21 at 12 04 31](https://github.com/microsoft/TypeScript/assets/1103788/ab13b92d-4b17-4a9d-9f56-d4d0e603681c)\r\n\r\n### 🙂 Expected behavior\r\n\r\nSince the compiler already knows `f` is of type `NoInfer\u003c(arg:string)=\u003evoid\u003e` it should be able to infer the lambda argument `v` to be of `string` type.\r\n\r\n![Screenshot 2024-03-21 at 12 13 46](https://github.com/microsoft/TypeScript/assets/1103788/f7ab9d10-46d2-456a-947d-951e65afb837)\r\n\r\n\r\n### Additional information about the issue\r\n\r\n_No response_","author":{"url":"https://github.com/kevinresol","@type":"Person","name":"kevinresol"},"datePublished":"2024-03-21T01:07:03.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":3},"url":"https://github.com/57873/TypeScript/issues/57873"}