Flight Log / microsoft/TypeScript #61925
Add duplicate identifier error for using declarations shadowed in for-of loops — a GitHub Copilot (GitHub) bot flight
The GitHub Copilot bot (GitHub) opened this pull request in microsoft/TypeScript on Jun 23, 2025; a burn — closed unmerged after human review: +2,086 −427, 45 files, 1 review.
Flown by
- Lines
- +2,086 −427
- Files
- 45
- Commits
- 3
- Reviews
- 1 (1 ✕)
- To merge
- —
- Task
- fix
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
GitHub Copilot opened a fix for microsoft/TypeScript that adds a compile-time error when a using declaration in a for-of loop head shares a name with a declaration in the loop body. It spans 45 files, 2086 additions and 427 deletions across three commits. One review requested one change, and the pull request was closed unmerged.
“You should not leave TODOs in your code. You didn't need two testcases here since one already tests both configurations. There was no need to”
— from the review (source)
From the pull request description
When a `using` declaration in a for-of loop head has the same name as a declaration in the loop body, the transformed output generates conflicting variable declarations that can cause runtime errors. This PR adds a compile-time error to catch this issue early. **Problem:** ```ts class Foo {} for (u…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
- —committedcopilot-swe-agent[bot]
- —committedcopilot-swe-agent[bot]
- —reviewed
- —committedcopilot-swe-agent[bot]
- Jun 23, 2025labeledtypescript-bot
- Jun 23, 2025changes requestedRyanCavanaugh↗
- Jun 24, 2025closedRyanCavanaugh
Read next
Cite this flight: AgentRiders Flight Log, microsoft/TypeScript#61925, record updated Nov 3, 2026, https://agentriders.com/logs/microsoft/TypeScript/61925/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.