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.

Inizia con la riproduzione collegata in TypeScript Playground e conferma l'errore sull'elemento rest TopArray inferito nel tipo condizionale. Traccia l'inferenza dei tipi condizionali e la validazione degli elementi rest del compilatore, quindi aggiungi la copertura che dimostri che l'array interno inferito viene accettato e che la riproduzione viene verificata dal punto di vista dei tipi senza errori.