Skip to content

Simplify never indexed by generic index types#62823

Closed
Andarist wants to merge 1 commit intomicrosoft:mainfrom
Andarist:simplify-never-indexed-by-deferred
Closed

Simplify never indexed by generic index types#62823
Andarist wants to merge 1 commit intomicrosoft:mainfrom
Andarist:simplify-never-indexed-by-deferred

Conversation

@Andarist
Copy link
Copy Markdown
Contributor

@Andarist Andarist commented Dec 2, 2025

As far as I can tell, there is no instantiation of indexType that could lead to indexed accesses like never[keyof T] to resolve to anything but never. So the compiler can avoid creating some extra types, just like it already does in the case of any

@github-project-automation github-project-automation bot moved this to Not started in PR Backlog Dec 2, 2025
@typescript-bot typescript-bot added the For Uncommitted Bug PR for untriaged, rejected, closed or missing bug label Dec 2, 2025
@typescript-bot
Copy link
Copy Markdown
Collaborator

This PR doesn't have any linked issues. Please open an issue that references this PR. From there we can discuss and prioritise.

@typescript-bot
Copy link
Copy Markdown
Collaborator

With 6.0 out as the final release vehicle for this codebase, we're closing all PRs that don't fit the merge criteria for post-6.0 patches. If you think this was a mistake and this PR fits the post-6.0 patch criteria, please post to the 6.0 iteration issue with details (specifically, which PR and which patch criteria it satisfies).

Next steps for PRs:

  • For crash bugfixes or language service improvements, PRs are currently accepted at the typescript-go repo
  • Changes to type system behavior should wait until after 7.0, at which point mainline TypeScript development will resume in this repository with the Go codebase
  • Library file updates (lib.d.ts etc) continue to live in this repo or the DOM Generator repo as appropriate

@github-project-automation github-project-automation bot moved this from Not started to Done in PR Backlog Mar 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

For Uncommitted Bug PR for untriaged, rejected, closed or missing bug

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants