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.

Bắt đầu với bản tái hiện TypeScript Playground được liên kết và xác nhận lỗi trên phần tử rest TopArray được suy luận trong kiểu có điều kiện. Theo dõi quá trình suy luận kiểu có điều kiện và xác thực phần tử rest của trình biên dịch, sau đó thêm coverage cho thấy mảng bên trong được suy luận được chấp nhận và bản tái hiện được kiểm tra kiểu mà không có lỗi.