Mateusz Burzyński

Fixed more ghost errors after LSP requests caching wrong contextual and parameter types

5

fixes https://github.com/microsoft/TypeScript/issues/58351 fixes https://github.com/microsoft/TypeScript/issues/62183 supersedes https://github.com/microsoft/TypeScript/pull/58378 It's not enough to ignore cached types/signatures on the ancestry path of the location node of the LSP request. All nodes under that ancestry...

Add support for JSDoc `@ignore` to allow for hiding properties from completions

3

closes https://github.com/microsoft/TypeScript/issues/47613

Infer from annotated parameters of context sensitive functions in the first inference pass

12

fixes https://github.com/microsoft/TypeScript/issues/56459 fixes https://github.com/microsoft/TypeScript/issues/60047 fixes https://github.com/microsoft/TypeScript/issues/60648

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

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

Contextual typing for return expressions of functions with contextual signatures based on instantiated types

1

This expands on https://github.com/microsoft/TypeScript/pull/30568 (in a way) fixes https://github.com/microsoft/TypeScript/issues/61197

Add nested call and new expressions as potential intra expression inference sites

46

Sometimes nested generic functions are skipped during inference in the first pass: https://github.dev/microsoft/TypeScript/blob/04d4580f4eedc036b014ef4329cffe9979da3af9/src/compiler/checker.ts#L33619-L33634 However, those calls are resolved from within `checkExpressionWithContextualType` and by the time we have a chance to...

Infer type parameters from indexes on those parameters

41

closes https://github.com/microsoft/TypeScript/issues/51612

Default reverse mapped type inference to its constraint

17

closes https://github.com/microsoft/TypeScript/issues/56241

Improve reverse mapped types inference by creating candidates from concrete index types

7

# Suggestion ## 🔍 Search Terms inference, reverse mapped types, schema ## ✅ Viability Checklist My suggestion meets these guidelines: * [x] This wouldn't be a breaking change in existing...