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

Reproduisez l’exemple de surcharge et de callback de tuple dans le TypeScript Playground lié, en utilisant la version indiquée. Suivez la résolution des surcharges du compilateur et l’inférence des paramètres du callback, puis vérifiez que les trois paramètres reçoivent les types number, string et boolean plutôt que any.