Inferring "this" from arrow function is {}

TypeScript Version: Version 3.6.0-dev.20190601
Search Terms: This, Arrow, Functions, Infer, Inference, Empty, Object, Incorrect, Any

Code

type FunctionThisType<T extends (...args: any[]) => any> =
  T extends (this: infer R, ...args: any[]) => any ? R : any

let fn = () => {}
let value: FunctionThisType<typeof fn> = "wrong"

Expected behavior:

error TS2322: Type '"wrong"' is not assignable to type 'typeof globalThis'.

Found 1 error.

Actual behavior:

No errors found.

Playground Link: Playground

Related Issues: None found.

Inizia con il TypeScript Playground collegato e riproduci il caso di inferenza di un tipo condizionale per il tipo this di una funzione freccia. Traccia come viene inferito FunctionThisType<typeof fn>, quindi verifica che l’esempio segnali l’errore atteso TS2322 invece di accettare l’assegnazione della stringa.