anztrax

/* _____________ Your Code Here _____________ */

type Pop<T extends any[]> = T extends [...infer P, any] ? P: [];

/* _____________ Test Cases _____________ */
import type { Equal, Expect } from '@type-challenges/utils'

type cases = [
  Expect<Equal<Pop<[3, 2, 1]>, [3, 2]>>,
  Expect<Equal<Pop<['a', 'b', 'c', 'd']>, ['a', 'b', 'c']>>,

anztrax

type Last<T extends any[]> = T extends [...any, infer B] ? B: never;

anztrax

type TupleToUnion<T extends unknown[]> = T[number];

anztrax

type DeepReadonly<T> = {
  readonly [K in keyof T]: 
    T[K] extends Function 
       ? T[K]
       : T[K] extends { [K in string] : any}
        ? DeepReadonly<T[K]>: T[K]
}

anztrax

type MyOmit<T, K extends keyof T> = {
  [P in keyof T as P extends K ? never: P] :T[P]
}

anztrax

type MyParameters<T extends (...args: any[]) => any> = T extends (...any:infer S) => any ? S: any

anztrax

type Unshift<T extends unknown[], U> = [U, ...T]

anztrax

type Push<T extends unknown[], U> = [...T, U]

anztrax

type Includes<T extends readonly any[], U> = 
T extends [infer First, ...infer Rest] 
  ? (
    Equal<First, U> extends true 
    ? true 
    : Includes<Rest, U>
  )
   : false

/* _____________ Test Cases _____________ */

anztrax

type Concat<T extends readonly unknown[], U extends readonly unknown[]> = [...T, ...U]