Skip to content

Normalize NoInferred tuple types in rest/spread positions#59682

Closed
Andarist wants to merge 5 commits intomicrosoft:mainfrom
Andarist:fix/rest-no-infer
Closed

Normalize NoInferred tuple types in rest/spread positions#59682
Andarist wants to merge 5 commits intomicrosoft:mainfrom
Andarist:fix/rest-no-infer

Conversation

@Andarist
Copy link
Copy Markdown
Contributor

fixes #59668

@typescript-bot typescript-bot added the For Uncommitted Bug PR for untriaged, rejected, closed or missing bug label Aug 19, 2024
@Andarist Andarist changed the title Normalize NoInferred tuple types Normalize NoInferred tuple types in rest/spread positions Aug 19, 2024
else if (isParameter(declaration)) {
type = getWidenedTypeForVariableLikeDeclaration(declaration, /*reportErrors*/ true);
if (declaration.dotDotDotToken) {
type = normalizeNoInferSpread(type);
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe I'm thinking about this wrong, but shouldn't this actually be a part of expandParameters or something? IIRC that's where we normalize these out. Compared to sprinkling it around elsewhere.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

getExpandedParameters is only used by signatureToSignatureDeclarationHelper and node builder. This change has behavioral changes for inference etc so having this getExpandedParameters wouldn't work

@typescript-bot typescript-bot added For Backlog Bug PRs that fix a backlog bug and removed For Uncommitted Bug PR for untriaged, rejected, closed or missing bug labels Dec 5, 2025
@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 Backlog Bug PRs that fix a backlog bug

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Signatures with less parameters aren't assignable to compatible targets with more when their rest param is an instantiated NoInfer

4 participants