René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Incorrent return type inference when using infer with generic function","articleBody":"# Bug Report\r\n\r\n```typescript\r\ntype ApplyFn\u003cFn extends (item: any) =\u003e any, T\u003e =\r\n  Fn extends (item: T) =\u003e infer R ? R : never\r\n\r\ntype X = ApplyFn\u003c(x: number) =\u003e string, number\u003e\r\n\r\n```\r\ntype X is `string`\r\n```typescript\r\ntype Fn = \u003cT\u003e(item: T) =\u003e {foo: T}\r\ntype Y = ApplyFn\u003cFn, string\u003e\r\n```\r\ntype Y is `{foo: unknown}` but I have expected `{foo: string}`\r\n\r\n### 🔎 Search Terms\r\n\r\ninfer generic function return type\r\n\r\n### ⏯ Playground Link\r\n\r\n[Playground link with relevant code](https://www.typescriptlang.org/play?#code/C4TwDgpgBAgmYBsQDEB2AeNUIA9gVQBMBnKACgEt8BbALigENUQBKKAXgD5HmAaKACrd2AWABQUKFlz4ipSjXoC2XKBVQAzCACcoAJSgB+fVHqoIANx3jxoSFAAaHWPCRp0ZHGYCu1AEY6KtzEwNrqAOb8qL4B2py24NBY7FDoQgoQdIJBUADeGgD2BUoAvgn2AJrOcIgoGGj8IWGo4fFiQA)\r\n\r\nIs there any workaround to solve this problem?\r\n","author":{"url":"https://github.com/user753","@type":"Person","name":"user753"},"datePublished":"2022-04-23T16:32:12.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":9},"url":"https://github.com/48820/TypeScript/issues/48820"}