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

Tái hiện ví dụ về overload và tuple callback trong TypeScript Playground được liên kết bằng cách sử dụng phiên bản đã nêu. Theo dõi quá trình phân giải overload và suy luận tham số callback của trình biên dịch, sau đó xác minh rằng ba tham số nhận các kiểu number, string và boolean thay vì any.