/* eslint-disable @typescript-eslint/no-explicit-any */

/**
 * Note: order of result is not exact
 * @example ```
 *  type LongerUnion = { name: 'shanon' } | 1 | 2 | 3
 *  type TestType = UnionToTuple<LongerUnion> // [3, 2, {name: 'shanon'}, 1]
 * ```
 * @see https://stackoverflow.com/a/55858763
 */
export type UnionToTuple<U> = UnionToTupleRecursively<[], U>

// @ts-expect-error
type Overwrite < T, S> = { [P in keyof T]: S[P] }
type TupleUnshift<T extends any[], X>
  = T extends any ? ((x: X, ...t: T) => void) extends (...t: infer R) => void ? R : never : never
type TuplePush<T extends any[], X> = T extends any ? Overwrite<TupleUnshift<T, any>, T & { [x: string]: X }> : never
export type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never
type UnionToOvlds<U> = UnionToIntersection<U extends any ? (f: U) => void : never>
type PopUnion<U> = UnionToOvlds<U> extends ((a: infer A) => void) ? A : never
/* end helpers */
/* main work */
type UnionToTupleRecursively<T extends any[], U> = {
  1: T,
  0: PopUnion<U> extends infer SELF ? UnionToTupleRecursively<TuplePush<T, SELF>, Exclude<U, SELF>> : never,
}[[U] extends [never] ? 1 : 0]