type-challenges-solutions/en/medium-shift

[utterances-bot]

Shift

This project is aimed at helping you better understand how the type system works, writing your own utilities, or just having fun with the challenges.

https://ghaiklor.github.io/type-challenges-solutions/en/medium-shift.html

[dca123]

There is a new case

// @ts-expect-error
Shift<unknown>

Constraining the generic as an array seems to do the trick!

type Shift<T extends any[]> = T extends [infer S, ...infer T] ? T : T extends [] ? [] : never