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

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