type JSTypeMap = {boolean: boolean;bigint: bigint;number: number;string: string;symbol: symbol;undefined: undefined;object: object;function: (...args: any[]) => any;
};
type JSTypes = keyof JSTypeMap;type GetType<T extends JSTypes[]> = {[I in keyof T]: JSTypeMap[T[I]];
};declare function addImpl<T extends JSTypes[]>(...args: [...T, (...args: GetType<T>) => any]
): void;addImpl("string", "bigint", "number", (a, b, c) => {});
