Type variable not inferred correctly unless unused declaration is provided

Bug Report

The described bug was noticed during debugging of the declarations provided with the Vue framework.

🔎 Search Terms

generic, inference, function, overload

🕗 Version & Regression Information

All 4.x versions available on the playground.

⏯ Playground Link

Playground link with relevant code

💻 Code

interface Methods {
  [key: string]: Function;
}

interface Param<M extends Methods> {
  data: (this: M) => any;
  methods: M;
}

declare function fun<M extends Methods = {}>(
  param: Param<M> & ThisType<M>
): void;

// Uncommenting the declaration below results in proper type inference of M

// declare function fun<M extends Methods = {}>(
//   param: { unusedProperty: true } & Param<M> & ThisType<M>
// ): void;

fun({
  data() {
    this.myMethod(); // Even after uncommenting the overloaded version, context is not properly inferred here
  },
  methods: {
    myMethod() {},
    mySecondMethod() {
      this.myMethod(); // Error without uncommenting the declaration
    }
  },
});

🙁 Actual behavior

1. Proper inference of the M type variable and this context in the methods section depends on having an unused overloaded version of a function.
2. Even though M is properly inferred for fun (visible after hovering over the function) and this context in methods after uncommenting the unused declaration, this context in data is still not properly inferred (when hovering over this, it looks as it is inferred to the default {}).

🙂 Expected behavior

M type variable is properly inferred in both data function and methods section without redundant declarations.

Beginne damit, das verknüpfte TypeScript Playground-Beispiel auszuführen und die Inferenz für die beiden Deklarationen von fun zu vergleichen, wobei du dich auf das Generic M und die this-Kontexte in data und methods konzentrierst. Da im Issue keine Repository-Datei oder kein Test angegeben ist, ermittle vor dem Hinzufügen eines Regressionstests zunächst die Pfade für Compiler-Inferenz und kontextuelle Typisierung; abgeschlossen ist die Aufgabe, wenn beide Kontexte M ohne die redundante Überladung inferieren.