chore(isolated-declarations): remove dead branch

[camc314]

No description provided.

[camc314]

• feat(parser): change span for missing initializer in decleration #17134
• feat(parser): add diagnostic for parameters with question mark and initializer #17132
• refactor(all)!: remove binding pattern wierdness #15925
• chore(isolated-declarations): remove dead branch #17131 👈 (View in Graphite)
• main

---

How to use the Graphite Merge Queue

Add either label to this PR to merge it via the merge queue:

• 0-merge - adds this PR to the back of the merge queue
• hotfix - for urgent hot fixes, skip the queue and merge this PR next

You must have a Graphite account in order to use the merge queue. Sign up using this link.

An organization admin has enabled the Graphite Merge Queue in this repository.

Please do not merge from GitHub as this will restart CI on PRs being processed by the merge queue.

This stack of pull requests is managed by Graphite. Learn more about stacking.

[Dunqing]

Merge activity

• Dec 19, 3:47 PM UTC: The merge label '0-merge' was detected. This PR will be added to the Graphite merge queue once it meets the requirements.
• Dec 19, 3:51 PM UTC: Dunqing added this pull request to the Graphite merge queue.
• Dec 19, 3:58 PM UTC: Merged by the Graphite merge queue.

[Copilot]

Pull request overview

This PR removes a dead code branch from the infer_type_from_formal_parameter function. The removed code was checking if a formal parameter's pattern had a type annotation, but it never returned the result of that check, making it unreachable and ineffective.

Key Changes:

• Removed 7 lines of dead code that checked param.pattern.type_annotation but never used the result

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[codspeed-hq]

CodSpeed Performance Report

Merging #17131 will not alter performance

_{Comparing c/12-19-chore_isolated-declarations_remove_dead_branch (73d2946) with main (07faa5a)¹}

Summary

✅ 38 untouched
⏩ 7 skipped²

Footnotes

1. No successful run was found on main (d56c27c) during the generation of this report, so 07faa5a was used instead as the comparison base. There might be some changes unrelated to this pull request in this report. ↩

2. 7 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩