What is the resolved type of `Mid` given this middle-rest tuple pattern?

type Mid<T extends any[]> = T extends [any, ...infer M, any] ? M : never; type R = Mid<[1, 2, 3, 4]>;