René's URL Explorer Experiment

Title: Defer types like `keyof (T & {})` by ahejlsberg · Pull Request #49696 · microsoft/TypeScript · GitHub

Open Graph Title: Defer types like `keyof (T & {})` by ahejlsberg · Pull Request #49696 · microsoft/TypeScript

X Title: Defer types like `keyof (T & {})` by ahejlsberg · Pull Request #49696 · microsoft/TypeScript

Description: Ordinarily, types of the form keyof (A & B) are normalized to keyof A | keyof B. However, for types like keyof (T & {}), this becomes keyof T | keyof {}, which becomes just keyof T, losing the fact that undefined and null have been removed from T. With this PR we defer the normalization for intersection types that include {}. Fixes #49681.

Open Graph Description: Ordinarily, types of the form keyof (A & B) are normalized to keyof A | keyof B. However, for types like keyof (T & {}), this becomes keyof T | keyof {}, which becomes just keyof T, losing ...

X Description: Ordinarily, types of the form keyof (A & B) are normalized to keyof A | keyof B. However, for types like keyof (T & {}), this becomes keyof T | keyof {}, which becomes just keyof T,...

Opengraph URL: https://github.com/microsoft/TypeScript/pull/49696

X: @github

direct link

Domain: github.com

Links:

Viewport: width=device-width