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.

Comienza con la reproducción vinculada de TypeScript Playground y confirma el error en el elemento rest TopArray inferido del tipo condicional. Rastrea la inferencia de tipos condicionales y la validación de elementos rest del compilador, y añade después cobertura que muestre que se acepta el array interno inferido y que la reproducción se comprueba en cuanto a tipos sin errores.