Rest element type not recognized for inner array types

Bug Report

Hello,
The compiler doesn't recognize an inner array type as an "array type" when inferred in a conditional type.

🔎 Search Terms

I searched for array, rest element, inner array type, multidimensional array type.
Couldn't find anything.

⏯ Playground Link

Playground link with relevant code

💻 Code

The compiler complains with the following code:

type PushToTopArray<T, ArrayOfArray extends any[][]> =
	ArrayOfArray extends [infer TopArray, ...infer Rest] ?
		[[T, ...TopArray], ...Rest] :
		never;

🙁 Actual behavior

with error: A rest element type must be an array type. (2574) on ...TopArray.

🙂 Expected behavior

But since ArrayOfArray extends any[][], the inferred TopArray should be of type any[] and therefore satisfy the rest element type.

Beginne mit der verknüpften TypeScript Playground-Reproduktion und bestätige den Fehler beim inferierten TopArray-Rest-Element im bedingten Typ. Verfolge die Inferenz bedingter Typen und die Validierung von Rest-Elementen im Compiler, und füge anschließend Tests hinzu, die zeigen, dass das inferierte innere Array akzeptiert wird und die Reproduktion ohne Fehler typgeprüft wird.