Issues

Bind anonymous recursive types during declaration serialization

#64752 opened

Oct 12, 2026

· Updated

Oct 13, 2026

Draft

7

Bound recursive array and tuple type printing

#64694 with AI opened

Oct 8, 2026

· Updated

Oct 9, 2026

Draft

7

Type printer recurses without limit into nested array/tuple types (stack overflow; can leave later types `any`)

microsoft/TypeScript#64683 · opened

on Oct 8, 2026

TS5115 in published Zod 4.5–4.6 types after #64372

microsoft/TypeScript#64605 · opened

on Oct 2, 2026

· TypeScript 7.1.1 RC

2

Detect cycles while serializing array and tuple types

#64556by was merged

Oct 1, 2026

10

Contextually type array literal spread operands

#64489 opened

Sep 28, 2026

· Updated

Sep 28, 2026

6

Fixes for recursive declarations, elided placeholders, cycles

#64432by was closed

Sep 29, 2026

Draft

22

TS7031 false positive for nested object binding pattern with `= {}` default in an annotated parameter (regression from #64043)

microsoft/TypeScript#64431 · opened

on Sep 24, 2026

1

Treat `never` as non-mutable-array-like when deciding readonly tuples

#64389by was merged

Sep 23, 2026

4

`satisfies` removes the `readonly` constraint from a tuple

microsoft/TypeScript#64274 · by was closed

on Sep 15, 2026

2

Infer recursive types through object literal getters

#64172by was closed

Sep 11, 2026

7

Re-order Array#reduce and Array#reduceRight overloads in lib.es5.d.ts

#63980by was closed

Oct 13, 2026

7

`checker.getTypeAtLocation` panics for an array literal contextually typed by an empty tuple

microsoft/TypeScript#63869 · by was closed

on Aug 28, 2026

· TypeScript 7.1.0 Beta

[5.9 regression] as const readonly tuple inferred as mutable through a nested generic call under a conditional-type circular constraint

microsoft/TypeScript#63666 · by was closed

on Sep 23, 2026

· Backlog

lib.es5.d.ts: accept array-likes (arguments, typed arrays, DOM collections) as the second argument of Function.prototype.apply

#63654by was closed

Jul 17, 2026

2

Contextual narrowing fails inside thunked argument when T is inferred from a separate argument

microsoft/TypeScript#63511 · by was closed

on May 28, 2026

2

`DeepCloneNode` allocation runaway (44 GB / 308 s) for recursive tagged-tuple type alias

microsoft/TypeScript#63825 · by was closed

on Oct 1, 2026

1

`1 | 2 | 3` can be assigned to `1 | 2` when using a recursive type

microsoft/TypeScript#63454 · by was closed

on May 6, 2026

13

`Flatten<O>` does not merge union object fields — distributes instead

microsoft/TypeScript#63361 · by was closed

on Apr 7, 2026

1

Regression: Mapped types are no longer homomorphic when wrapped in certain conditional types

microsoft/TypeScript#63132 · opened

on Feb 12, 2026

3

Crash: TypeError: Cannot read properties of undefined (reading 'flags') in isFreshLiteralType during recursive tuple expansion with unresolved identifiers

microsoft/TypeScript#62974 · by was closed

on Jul 24, 2026

· Backlog

3

Add basic types <Byte> and <Integer>

microsoft/TypeScript#62867 · by was closed

on Dec 9, 2025

13

Completion does not work for generic type extending tuple or array of all partial type

microsoft/TypeScript#63785 · opened

on Dec 3, 2025

· Backlog

Spread operator fails to distribute over union when recursive type call is inlined instead of aliased

microsoft/TypeScript#62812 · opened

on Nov 27, 2025

· Backlog

1

`ReadonlyArray` with `length` should be narrowed in `noUncheckedIndexedAccess`

microsoft/TypeScript#62719 · by was closed

on Nov 5, 2025

2

Navigation Menu

Repository navigation

Issues

946 results

Bind anonymous recursive types during declaration serialization

Bound recursive array and tuple type printing

Type printer recurses without limit into nested array/tuple types (stack overflow; can leave later types `any`)

TS5115 in published Zod 4.5–4.6 types after #64372

Detect cycles while serializing array and tuple types

Contextually type array literal spread operands

Fixes for recursive declarations, elided placeholders, cycles

TS7031 false positive for nested object binding pattern with `= {}` default in an annotated parameter (regression from #64043)

Treat `never` as non-mutable-array-like when deciding readonly tuples

`satisfies` removes the `readonly` constraint from a tuple

Infer recursive types through object literal getters

Re-order Array#reduce and Array#reduceRight overloads in lib.es5.d.ts

`checker.getTypeAtLocation` panics for an array literal contextually typed by an empty tuple

[5.9 regression] as const readonly tuple inferred as mutable through a nested generic call under a conditional-type circular constraint

lib.es5.d.ts: accept array-likes (arguments, typed arrays, DOM collections) as the second argument of Function.prototype.apply

Contextual narrowing fails inside thunked argument when T is inferred from a separate argument

`DeepCloneNode` allocation runaway (44 GB / 308 s) for recursive tagged-tuple type alias

`1 | 2 | 3` can be assigned to `1 | 2` when using a recursive type

`Flatten<O>` does not merge union object fields — distributes instead

Regression: Mapped types are no longer homomorphic when wrapped in certain conditional types

Crash: TypeError: Cannot read properties of undefined (reading 'flags') in isFreshLiteralType during recursive tuple expansion with unresolved identifiers

Add basic types <Byte> and <Integer>

Completion does not work for generic type extending tuple or array of all partial type

Spread operator fails to distribute over union when recursive type call is inlined instead of aliased

`ReadonlyArray` with `length` should be narrowed in `noUncheckedIndexedAccess`