Skip to content

Add a regression test for narrowing NoInfer union constituents of non-generic aliases - #64969

Merged
Jake Bailey (jakebailey) merged 1 commit into
microsoft:mainfrom
Andarist:andarist/narrowing-noinfer-union-constraint-test
Oct 28, 2026
Merged

Jake Bailey (jakebailey) merged 1 commit into
microsoft:mainfrom
Andarist:andarist/narrowing-noinfer-union-constraint-test

Conversation

@Andarist

Copy link
Copy Markdown
Contributor

I found this missing~ coverage when playing around with: #64958 . I think the gains from that experiment are too little to justify pulling this in but the tests coverage is nice

Copilot AI balanced review requested due to automatic review settings October 26, 2026 12:24
@github-project-automation github-project-automation Bot moved this to Not started in PR Backlog Oct 26, 2026
@typescript-automation typescript-automation Bot added the For Uncommitted Bug PR for untriaged, rejected, closed or missing bug label Oct 26, 2026
@typescript-automation

Copy link
Copy Markdown
Contributor

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

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

🟢 Approval recommended

The focused test-only additions have consistent baselines and no identified blocking issues.

No open issues 🎉

What changed in this PR

Adds compiler regression coverage for narrowing NoInfer union constituents in non-generic aliases, without changing compiler behavior.

Changes:

  • Tests discriminant narrowing directly and after accessing an alias through Box<string>.
  • Adds type and symbol baselines recording the expected results.
File Description
tsc/​testdata/​tests/​cases/​compiler/​narrowingNoInfer2.ts Adds both narrowing scenarios under strict checking.
tsc/​testdata/​baselines/​reference/​compiler/​narrowingNoInfer2.types Records expected narrowed types and property types.
tsc/​testdata/​baselines/​reference/​compiler/​narrowingNoInfer2.symbols Records expected symbol bindings.

Review effort: Balanced

@github-project-automation github-project-automation Bot moved this from Not started to Needs merge in PR Backlog Oct 28, 2026
@jakebailey
Jake Bailey (jakebailey) added this pull request to the merge queue Oct 28, 2026
Merged via the queue into microsoft:main with commit cc82530 Oct 28, 2026
29 checks passed
@github-project-automation github-project-automation Bot moved this from Needs merge to Done in PR Backlog Oct 28, 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