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.

リンクされた TypeScript Playground の再現例から始め、条件型の推論された TopArray rest 要素でエラーが発生することを確認します。コンパイラの条件型の推論と rest 要素の検証を追跡し、推論された内部配列が受け入れられ、再現例がエラーなしで型チェックされることを示すカバレッジを追加します。