Callback arguments are inferred as any when function has multiple overloads and callback arguments are typed as tuple

TypeScript Version: 4.0.5 or higher

Search Terms: function overloads, tuples

Code

function f(callback: (...args: [number, string]) => void): void;
function f(callback: (...args: [number, string, boolean]) => void): void;
function f(callback: (...args: any[]) => void): void {}

// demo
f((num, str) => {}); // first signature: ok

f((num, str, bool) => {}); // second signature: all arguments have any type

Expected behavior: num, str and bool should be type of number, string and boolean.

Actual behavior: num, str and bool are type of any

Playground Link:
https://www.typescriptlang.org/play?ts=4.0.5&ssl=3&ssc=32&pln=3&pc=35#code/GYVwdgxgLglg9mABMAFBAhgG0wI3RAawC5EUA6C9AJwHMBnEgbTBAFscBTKgGkTqiowwNALoBKRAF4AfIgBucGABMxJBcoDcAKFCRYCZGiy58xUhTLV6TFuy69+g4bxxw4mDujDips9SrVFJW1daHgkVAxsPEISckpaBkQvAE9GHxl5INUs5UQAbwBfLS0AelLEJQ5WOB0UFFsHAQlMorENRHLkGCp+PhgaMHQoECoOEjgCEtQGtiaeRFd3Ftk2jq66DggEJX7B4dHx5Oxk2jYOMCg6RAALdDkOZLAUxCgUgAcOLSA

Riproduci l’esempio di overload e callback di tupla nel TypeScript Playground collegato usando la versione indicata. Segui la risoluzione degli overload del compilatore e l’inferenza dei parametri del callback, quindi verifica che i tre parametri ricevano i tipi number, string e boolean invece di any.