// ============= Test Cases =============
import type { Equal, Expect } from './test-utils'

type A1 = Shift<[]>;
type B1 = [];
type C1 = Expect<Equal<A1, B1>>;

type A2 = Shift<[1]>;
type B2 = [];
type C2 = Expect<Equal<A2, B2>>;

type A3 = Shift<[3, 2, 1]>;
type B3 = [2, 1];
type C3 = Expect<Equal<A3, B3>>;

type A4 = Shift<['a', 'b', 'c', 'd']>;
type B4 = ['b', 'c', 'd'];
type C4 = Expect<Equal<A4, B4>>;

// @ts-expect-error(2344)
type E1 = Shift<unknown>;

// ============= Your Code Here =============
type Shift<T extends unknown[]> =
  // also, `any` or `infer _` instead of `unknown`
  T extends [unknown, ...infer Tail]
  ? Tail
  : [];