Generic inference of Overloaded methods only working with the last defined method

Bug Report

🔎 Search Terms

• Generics
• Overload
• Type inference

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about overloading

⏯ Playground Link

Playground link with relevant code

💻 Code

class SomeClazz {
    public overload(param: 'PARAM1'): number;
    public overload(param: 'PARAM2'): string;

    public overload(param: 'PARAM1' | 'PARAM2'): number | string {
        switch (param) {
            case 'PARAM1':
                return 1337;
            case 'PARAM2':
                return 'Hi';
        }
    }
}

function call<Ctx extends { [F in Name]: (this: Context, ...args: any[]) => any }, Name extends string>(
    ctx: Ctx,
    method: Name,
    ...args: Parameters<Ctx[Name]>
): void {
    ctx[method](...args);
}

const clazz = new SomeClazz();
clazz.overload('PARAM1'); // Works ok
clazz.overload('PARAM2'); // works ok
call(clazz, 'overload', 'PARAM1'); // ERROR: Argument of type '"PARAM1"' is not assignable to parameter of type '"PARAM2"'
call(clazz, 'overload', 'PARAM2'); // Works ok

Workbench Repro

🙁 Actual behavior

• Only one function overload is taken into account when inferring function parameter types

🙂 Expected behavior

• All function overloads should be taken into account when inferring function parameter types

Inizia eseguendo la riproduzione collegata in Playground o Workbench e confronta i due punti di chiamata generici con le chiamate dirette agli overload. Traccia come viene inferito Parameters<Ctx[Name]> per il metodo overloaded; il lavoro è completato quando vengono accettati sia call(clazz, 'overload', 'PARAM1') sia call(clazz, 'overload', 'PARAM2'), preservando il comportamento degli overload segnalato.