type Func = (...args: [...strs: string[], num1: number, num2: number]) => void

// OK
const func: Func = () => {}
// Error:
// Type '(arg1: string | number) => void' is not assignable to type 'Func'.
//  Types of parameters 'arg1' and 'strs' are incompatible.
//    Type '[...strs: string[], num1: number, num2: number]' is not assignable to type '[arg1: string | number]'.
//      Source has 2 element(s) but target allows only 1.
const func1: Func = (arg1) => {}

// Error:
// Type '(arg2: string | number, arg3: string | number) => void' is not assignable to type 'Func'.
//   Types of parameters 'arg2' and 'strs' are incompatible.
//     Type '[...strs: string[], num1: number, num2: number]' is not assignable to type '[arg2: string | number, arg3: string | number]'.
//       Target allows only 2 element(s) but source may have more.
const func2: Func = (arg2, arg3) => {};

// Error:
// Type '(arg4: string | number, arg5: string | number, arg6: string | number) => void' is not assignable to type 'Func'.
//   Types of parameters 'arg4' and 'strs' are incompatible.
//     Type '[...strs: string[], num1: number, num2: number]' is not assignable to type '[arg4: string | number, arg5: string | number, arg6: string | number]'.
//       Target requires 3 element(s) but source may have fewer.
const func3: Func = (arg4, arg5, arg6) => {};