03192-medium-reverse.ts

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

type cases = [
  Expect<Equal<Reverse<[]>, []>>,
  Expect<Equal<Reverse<['a', 'b']>, ['b', 'a']>>,
  Expect<Equal<Reverse<['a', 'b', 'c']>, ['c', 'b', 'a']>>
]

type errors = [
  // @ts-expect-error
  Reverse<'string'>,
  // @ts-expect-error
  Reverse<{ key: 'value' }>
]

// ============= Your Code Here =============
type Reverse<T extends PropertyKey[]> = T extends [
  infer First extends PropertyKey,
  ...infer Rest extends PropertyKey[]
]
  ? [...Reverse<Rest>, First]
  : []