René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"`.call` on an union with different arguments counts fails when passing `any`","articleBody":"### 🔎 Search Terms\r\n\r\ncall union expected arguments but got \r\n\r\n### 🕗 Version \u0026 Regression Information\r\n\r\nBefore version 4.5 both the `.call`s in the example below failed. Since then, `.call(null, something-not-any)` is accepted and `.call(null, something-any)` failes.\r\n\r\n### ⏯ Playground Link\r\n\r\nhttps://www.typescriptlang.org/play/?ts=5.5.0-beta#code/CYUwxgNghgTiAEYD2A7AzgF3gMxQLngApCBKeAXgD54A3JAS2DIB8jCoCUBXAWwCMQMMlVoMmAKHGhIsBMnRYAHp14CYAbinhocRKkzwAngSgpDm8bgB0YKBAiFu9gDTxFJTddv3HXF0Y9JXEJDQOD3CyA\r\n\r\n### 💻 Code\r\n\r\n```ts\r\ndeclare const fn: (() =\u003e void) | ((a: number) =\u003e void)\r\n\r\ndeclare const x: number;\r\ndeclare const y: any;\r\n\r\nfn.call(null, x); // ok\r\nfn.call(null, y); // error\r\n\r\nfn(y); // ok\r\nfn(x); // ok\r\n```\r\n\r\n\r\n### 🙁 Actual behavior\r\n\r\nThe line marked as `// error` gives the following error:\r\n```\r\nExpected 1 arguments, but got 2.\r\n```\r\n\r\n### 🙂 Expected behavior\r\n\r\nIt should be accepted, the same as the other lines are accepted.\r\n\r\n### Additional information about the issue\r\n\r\n_No response_\r\n\r\n---\r\n\r\n_TODO for myself: Remove `@ts-ignore` in https://github.com/babel/babel/blob/main/packages/babel-generator/src/printer.ts#L717 once this is fixed_","author":{"url":"https://github.com/nicolo-ribaudo","@type":"Person","name":"nicolo-ribaudo"},"datePublished":"2024-05-08T10:38:41.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":2},"url":"https://github.com/58468/TypeScript/issues/58468"}