René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Bug: incorrect contextual typing on yield expression of generator function as discriminate of a union","articleBody":"# Bug Report\r\n\r\n### 🔎 Search Terms\r\n\r\ngenerator function union contextual typing yield expression\r\n\r\n### 🕗 Version \u0026 Regression Information\r\n\r\n\r\n4.8.4\r\n\r\n### ⏯ Playground Link\r\n\r\n[Playground link with relevant code](https://www.typescriptlang.org/play?#code/C4TwDgpgBAggxsAlgewHZQLxQBQEpMB8OA4hKhAE4CGwyFAPAM7AWKoDmANFM6x97zbsA2gF0iAHx4shuAFBy4aZlABGALlgIU6LADMArqm1oAVDnwBvBTah2oS1CriYoIRBAA2AEygByPzl7KAoIYAMKdAC5AF85IA)\r\n\r\n![image](https://user-images.githubusercontent.com/33423008/195996327-d2d9af65-5002-48ff-bc74-a2daaeb0eeca.png)\r\n\r\n### 💻 Code\r\n\r\n\r\n```ts\r\ntype Action = () =\u003e (Generator\u003cstring, string, string[]\u003e | string)\r\n\r\nconst b: Action = function* () {\r\n    // expect `string[]`, actual `never`\r\n    const c = yield ''\r\n    return ''\r\n}\r\n\r\n```\r\n\r\n### 🙁 Actual behavior\r\n\r\n`never`\r\n\r\n### 🙂 Expected behavior\r\n\r\n`string[]`\r\n","author":{"url":"https://github.com/shigma","@type":"Person","name":"shigma"},"datePublished":"2022-10-15T16:07:14.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":1},"url":"https://github.com/51187/TypeScript/issues/51187"}