Type Alias SetArrayRequired<TArray, Keys, Counter, Accumulator>

SetArrayRequired: TArray extends unknown
    ? "0" extends keyof TArray
        ? TArray extends readonly [(infer First)?, ...(infer Rest)]
            ? [TArray] extends [readonly [unknown, ...unknown[]]]
                ? SetArrayRequired<
                    Rest,
                    Keys,
                    [...Counter, any],
                    [...Accumulator, First],
                >
                : `${Counter["length"]}` extends `${Keys & (string | number)}`
                    ? SetArrayRequired<
                        Rest,
                        Keys,
                        [...Counter, any],
                        [...Accumulator, First],
                    >
                    : [...Accumulator, ...TArray]
            : never
        : [...Accumulator, ...TArray]
    : never