type A = {
  0: [],
  1: [unknown],
  2: [unknown, ...A[1]],
  3: [unknown, ...A[2]],
  4: [unknown, ...A[3]],
  5: [unknown, ...A[4]],
  6: [unknown, ...A[5]],
  7: [unknown, ...A[6]],
  8: [unknown, ...A[7]],
  9: [unknown, ...A[8]],
}

type Times10<B extends readonly unknown[]> = [
  ...B, ...B, ...B, ...B, ...B, ...B, ...B, ...B, ...B, ...B
]

type Build<S extends string, C extends readonly unknown[] = []> =
  S extends `${infer Head extends keyof A}${infer Rest}` ? Build<Rest, [...Times10<C>, ...A[Head]]> : C

type ConstructTuple<L extends number> = Build<`${L}`>

import type { Equal, Expect } from '@type-challenges/utils'

type cases = [
  Expect<Equal<ConstructTuple<0>, []>>,
  Expect<Equal<ConstructTuple<2>, [unknown, unknown]>>,
  Expect<Equal<ConstructTuple<999>['length'], 999>>,
  // @ts-expect-error
  Expect<Equal<ConstructTuple<1000>['length'], 1000>>,
]