前置不确定参数 ​

addImpl("string", "boolean", "number", (a, b, c) => {});

addImpl("string", "boolean", "number", (a, b, c) => {});

type JSTypeMap = {
  string: string;
  boolean: boolean;
  number: number;
  function: Function;
  object: object;
  symbol: symbol;
  undefined: undefined;
  bigint: bigint;
};
type JSTypeName = keyof JSTypeMap;
type ArgsType<T extends JSTypeName[]> = {
  [I in keyof T]: JSTypeMap[T[I]];
};
declare function addImpl<T extends JSTypeName[]>(
  ...args: [...T, (...args: ArgsType<T>) => void]
): void;

type JSTypeMap = {
  string: string;
  boolean: boolean;
  number: number;
  function: Function;
  object: object;
  symbol: symbol;
  undefined: undefined;
  bigint: bigint;
};
type JSTypeName = keyof JSTypeMap;
type ArgsType<T extends JSTypeName[]> = {
  [I in keyof T]: JSTypeMap[T[I]];
};
declare function addImpl<T extends JSTypeName[]>(
  ...args: [...T, (...args: ArgsType<T>) => void]
): void;