'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

Inizia con il TypeScript Playground collegato e confronta l'esempio dell'espressione condizionale con la funzione funzionante. Traccia il comportamento del compilatore responsabile del contextual typing della funzione annidata e verifica il risultato in strict mode; il lavoro è completo quando il tipo this inferito corrisponde alla forma State prevista senza un'annotazione esplicita.