'this' implicitly has type 'any' in a function used within a conditional expression

Bug Report

🔎 Search Terms

this any implicit 2683 widen

🕗 Version & Regression Information

• This is the behavior in every version I tried

⏯ Playground Link

Playground link with relevant code

💻 Code

// @strict: true

interface State {
  value: string;
  matches(value: string): boolean;
}

declare function macthesState(state: { value: string }, value: string): boolean;
declare function isState(state: unknown): state is State;

// this doesn't work
function test(config: unknown, prevConfig: unknown) {
  if (isState(config)) {
    return {
      ...config,
      matches: isState(prevConfig)
        ? prevConfig.matches
        : function (value: string) {
            return macthesState(this, value);
          },
    };
  }

  return config;
}

// this works
function test2(config: State) {
  return {
    ...config,
    matches: function (value: string) {
      return macthesState(this, value);
    },
  };
}

🙁 Actual behavior

'this' implicitly has type 'any' because it does not have a type annotation.(2683)

🙂 Expected behavior

inferred this type

Beginnen Sie mit dem verlinkten TypeScript Playground und vergleichen Sie das Beispiel für den bedingten Ausdruck mit der funktionierenden Funktion. Verfolgen Sie das Compiler-Verhalten, das für die kontextuelle Typisierung der verschachtelten Funktion verantwortlich ist, und überprüfen Sie das Ergebnis im strict mode; abgeschlossen ist die Aufgabe, wenn der inferierte this-Typ der erwarteten State-Struktur ohne explizite Annotation entspricht.