Parameter types not being inferred in a class method whose type is indexed from an interface

<!-- 🚨 STOP 🚨 𝗦𝗧𝗢𝗣 🚨 𝑺𝑻𝑶𝑷 🚨 Half of all issues filed here are duplicates, answered in the FAQ, or not appropriate for the bug tracker. Even if you think you've found a *bug*, please read the FAQ first, especially the Common "Bugs" That Aren't Bugs section! Please help us by doing the following steps before logging an issue: * Search: https://github.com/Microsoft/TypeScript/search?type=Issues * Read the FAQ: https://github.com/Microsoft/TypeScript/wiki/FAQ Please fill in the *entire* template below. --> <!-- Please try to reproduce the issue with the latest published version. It may have already been fixed. For npm: `typescript@next` This is also the 'Nightly' version in the playground: http://www.typescriptlang.org/play/?ts=Nightly --> **TypeScript Version:** 3.7.4 <!-- Search terms you tried before logging this (so others can find this issue more easily) --> **Search Terms:** Index type Parameter type of method Inferring parameter types **Code** ```ts interface Parameters1 { paramA: number; paramB: string; } interface Parameters2 { paramC: boolean; } interface SomeFunctions { foo(options: Parameters1): void; bar(options: Parameters2): void; } class AClass implements SomeFunctions { public foo(options: Parameters1): void { } public bar(options: Parameters2): void { } } const aClassInstance = new AClass(); function callMethod<K extends keyof SomeFunctions>( methodName: K, options: Parameters<SomeFunctions[K]>[0] ) { // 1. Does not work: // Argument of type 'Parameters<SomeFunctions[K]>[0]' is not assignable to parameter of type 'Parameters1 & Parameters2'. aClassInstance[methodName](options); // 2. Also does not work // Argument of type 'Parameters<SomeFunctions[K]>[0]' is not assignable to parameter of type 'Parameters1 & Parameters2'. // Type 'Parameters<SomeFunctions[K]>[0]' is not assignable to type 'Parameters1'. (aClassInstance[methodName] as SomeFunctions[K])(options); // 3. Does work, eve…