Repository navigation
Type definition with two rest operations for two arrays doesn't validated correctly #55783
Closed as not planned
Description
🔎 Search Terms
rest array
🕗 Version & Regression Information
N/A
⏯ Playground Link
💻 Code
type ArrayWithNElements<T, N extends number> = T[] & {length: N};
type ArrayWithNPlusElements<T, N extends number> = [...ArrayWithNElements<T, N>, ...T[]];
type MyArray = ArrayWithNPlusElements<number, 4>;
const arr01: MyArray = [1, 2, 3];🙁 Actual behavior
const arr01: MyArray = [1, 2, 3]; in the code is not validated as error.
While in the following code, arr02 is validated as error.
type NumberX4 = [number, number, number, number];
type MyArray2 = [...NumberX4, ...number[]];
const arr02: MyArray2 = [1, 2, 3];🙂 Expected behavior
const arr01: MyArray = [1, 2, 3]; in the code should be validated as error.
Validation of MyArray should be an attempt of splitting it into two arrays to validate against each array rest operation.
Additional information about the issue
No response
Activity
MartinJohns commentedon Sep 19, 2023
T[] & {length: N}is not a valid tuple type, it's an array. So when you spread it, it's spread as an array, and yourArrayWithNPlusElements<T, N>type ends up being justT[]. You can see this when hovering over the type. When you use a proper tuple type you don't have this issue, that's why the suggested solution for the "N Tuple type" is #54740 (comment).KingMario commentedon Sep 19, 2023
Thanks MartinJohns
I'm just reporting a bug that
either
typescript should be able to report an error while declaring the type
ArrayWithNPlusElements<T, N>as the error reported fortype MixedArray<T, U> = [...T[], ...U[]], which is,A rest element cannot follow another rest element.,or
typescript should be able to validate arr01 as error.
typescript-bot commentedon Sep 22, 2023
This issue has been marked as "Question" and has seen no recent activity. It has been automatically closed for house-keeping purposes.
KingMario commentedon Sep 22, 2023
Hi Ryan Cavanaugh (@RyanCavanaugh)
IMHO, this is not a question. It's the buggy behavior of typescript compiler/language service that
either
typescript should be able to report an error while declaring the type ArrayWithNPlusElements<T, N> as the error reported for type MixedArray<T, U> = [...T[], ...U[]], which is, A rest element cannot follow another rest element.,
or
typescript should be able to validate arr01 as error.
@MartinJohns I can't @ you because you blocked me. But I'm not talking about Tuple at all as a subset of the Array type. I don't use Typle much because I think it's immature, whereas you can call pop so that the tuple type of [string, string] becomes [string] or [] without realizing it.