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.

Commencez par le TypeScript Playground lié et reproduisez le cas d’inférence d’un type conditionnel pour le type this d’une fonction fléchée. Suivez la manière dont FunctionThisType<typeof fn> est inféré, puis vérifiez que l’exemple signale l’erreur attendue TS2322 au lieu d’accepter l’affectation de la chaîne.