TypeScript

TypeScript copied to clipboard

Improve error messages for discriminated union incompatible members

1

Fixes #62737 When assigning objects with wider discriminator unions to discriminated union types, TypeScript now identifies the actual incompatible types from the source union, rather than showing a misleading error...

alpha2420

Error: Debug Failure. No error for last overload signature

1

### 🔎 Search Terms The TypeScript compiler crashs with the message "Error: Debug Failure. No error for last overload signature". (Check the DevTools console for the error message in the...

jens-duttke

Infer from context sensitive return expressions

10

fixes #60720 fixes #57021

Andarist

Infer from filtering mapped types

11

This implements a subset of the implied feature request from this issue: https://github.com/microsoft/TypeScript/issues/46602

Andarist

Control flow analysis for destructured rests

13

fixes https://github.com/microsoft/TypeScript/issues/46680 fixes https://github.com/microsoft/TypeScript/issues/53947

Andarist

Fixed contextual types within generic tuple mapped types

3

It's a case that I came up with when reviewing https://github.com/microsoft/TypeScript/pull/53036

Andarist

fixes https://github.com/microsoft/TypeScript/issues/59948 fixes https://github.com/microsoft/TypeScript/issues/60411 fixes https://github.com/microsoft/TypeScript/issues/62325

Andarist

Remove missing type from tuple type arguments under `exactOptionalPropertyTypes`

13

fixes https://github.com/microsoft/TypeScript/issues/54302

Andarist

Properly propagate `ObjectFlags.NonInferrableType` onto non-aliased anonymous object types instantiations

9

fixes https://github.com/microsoft/TypeScript/issues/62345

Andarist

fixes https://github.com/microsoft/TypeScript/issues/59668

Andarist