René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Remapped generic array type Can't pass to rest parameters","articleBody":"### 🔎 Search Terms\n\nrest parameters  tuple array generic\n\n### 🕗 Version \u0026 Regression Information\n\n I tried some versions from 3.3.3 to  5.2.2 and Nightly version 。none of them fixed this problem.\r\n\r\n\n\n### ⏯ Playground Link\n\nhttps://www.typescriptlang.org/play?ts=5.2.2\u0026ssl=13\u0026ssc=119\u0026pln=1\u0026pc=1#code/ATAuE8AcFNgJWpANgQwMbQDwBVjQB6jQB2AJgM7ADaAdHSseALoA0wAgmwEIB8wAvMADeAWABQIEFQDSwAJbFgAa2jgA9gDNg2JgC5tMpnkIkKHYAH5gXYPuyGA3OJABfJ2OdgosBMnTQABRQAJxQAW3IcYyIySlp6RlZOXn4ACjoaEIBzcl1fVAxMKmIAVzCAI2hgllKKqqSWXgBKfh4GcAcAek65SjUlTwgYeEQCwJDw8gBGTHY4OHYATWjTOIz2hpT0+mCcvNH-WfmllmSeFrbGLs6NFDkkaFJzYOhyUGBICbDoImDgMJKb2AlWAmmADHBwVC4C8MBog28Iz8GCCoQiACYogQYmZtpldrp2hd2qdGjw0utdrl8odUeEflVItgeKTmq12g5gN1bvdHs9Xu9PmiGX8AUCQWCISFobDoPCPAqQEMfNAwihIDBSFiTLFqOtEnx+KIJJIZPJFCp1FodLp7NImJ4XAjhgBlORhZDQADCKHIWFw2NWeoSzENwDx2WpqvVmpw53ZV25dweT3YwBeQKF9N+-0B7wlWilUJQMOVNCAA\n\n### 💻 Code\n\n```ts\r\n  type Replace\u003cT extends [...any], A, B\u003e = {\r\n    [K in keyof T]: T[K] extends A ? B : T[K];\r\n  };\r\n\r\n  type ReplaceParams\u003cT extends [...any],A,B\u003e=(...args:Replace\u003c[number,number],A,B\u003e)=\u003eany;//is ok\r\n  type ReplaceParams1\u003cARRAY extends [...any],A,B\u003e=(...args:Replace\u003cARRAY,A,B\u003e)=\u003eany;//failed A rest parameter must be of an array type.\r\n  type ReplaceParams2\u003cT extends (...arg:any)=\u003eany,A,B\u003e=(...args:Replace\u003cParameters\u003cT\u003e,A,B\u003e)=\u003eany; //failed A rest parameter must be of an array type.\r\n\r\n\r\n  type Remapped\u003cT extends [...any]\u003e ={\r\n    [K in keyof T]:T[K]\r\n  }\r\n  type SimpleCase\u003cT extends [...any]\u003e = (...args:Remapped\u003cT\u003e)=\u003eany;//failed A rest parameter must be of an array type.\r\n```\r\n\n\n### 🙁 Actual behavior\n\nthis was happend at latest version [5.2.2](https://www.typescriptlang.org/play?ts=5.2.2\u0026ssl=13\u0026ssc=119\u0026pln=1\u0026pc=1#code/ATAuE8AcFNgJWpANgQwMbQDwBVjQB6jQB2AJgM7ADaAdHSseALoA0wAgmwEIB8wAvMADeAWABQIEFQDSwAJbFgAa2jgA9gDNg2JgC5tMpnkIkKHYAH5gXYPuyGA3OJABfJ2OdgosBMnTQABRQAJxQAW3IcYyIySlp6RlZOXn4ACjoaEIBzcl1fVAxMKmIAVzCAI2hgllKKqqSWXgBKfh4GcAcAek65SjUlTwgYeEQCwJDw8gBGTHY4OHYATWjTOIz2hpT0+mCcvNH-WfmllmSeFrbGLs6NFDkkaFJzYOhyUGBICbDoImDgMJKb2AlWAmmADHBwVC4C8MBog28Iz8GCCoQiACYogQYmZtpldrp2hd2qdGjw0utdrl8odUeEflVItgeKTmq12g5gN1bvdHs9Xu9PmiGX8AUCQWCISFobDoPCPAqQEMfNAwihIDBSFiTLFqOtEnx+KIJJIZPJFCp1FodLp7NImJ4XAjhgBlORhZDQADCKHIWFw2NWeoSzENwDx2WpqvVmpw53ZV25dweT3YwBeQKF9N+-0B7wlWilUJQMOVNCAA)\r\n\r\nand in the next version still no fixed\n\n### 🙂 Expected behavior\n\n quite sure tuple or array type can be passed to function rest pamaters. but remapped cant.this make replace certain type in parameters inpossible.\n\n### Additional information about the issue\n\n_No response_","author":{"url":"https://github.com/maxzhou0","@type":"Person","name":"maxzhou0"},"datePublished":"2023-10-01T16:19:20.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":2},"url":"https://github.com/55932/TypeScript/issues/55932"}