Skip to content

Unified: Preserve generic arguments on qualified Swift types - #22817

Merged
paldepind merged 2 commits into
mainfrom
unified/swift-qualified-generic-types
Oct 19, 2026
Merged

paldepind merged 2 commits into
mainfrom
unified/swift-qualified-generic-types

Conversation

@paldepind

@paldepind paldepind commented Oct 14, 2026 •

Copy link
Copy Markdown
Contributor

Preserve generic arguments on qualified Swift types, that is, things such as Outer.Inner<Type>.

paldepind and others added 2 commits October 14, 2026 10:54
Record the current extraction of generic arguments on qualified and nested types before fixing their omission.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot-Session: d0033cd3-ca30-4469-969f-36c4cf463e71
Wrap generic member types in generic_type_expr so qualified and nested type arguments remain visible to name binding.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot-Session: d0033cd3-ca30-4469-969f-36c4cf463e71
Copilot AI balanced review requested due to automatic review settings October 14, 2026 08:55
@paldepind
paldepind requested a review from a team as a code owner October 14, 2026 08:55

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 translation rule handles both terminal and nested generic qualification, with matching corpus coverage.

0 open findings

What changed in this PR

Preserves generic arguments when translating qualified Swift types, preventing unused-variable false positives.

Changes:

  • Adds generic handling for memberType.
  • Adds corpus coverage for nested qualified generic types.
File Description
unified/​extractor/​src/​languages/​swift/​swift.rs Translates qualified generic types without dropping arguments.
unified/​extractor/​tests/​corpus/​swift/​types/​qualified-type.swift Adds regression inputs.
unified/​extractor/​tests/​corpus/​swift/​types/​qualified-type.output Records generated AST expectations.

🧠 Review effort: Balanced


💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

@paldepind paldepind added the no-change-note-required This PR does not need a change note label Oct 14, 2026
@paldepind
paldepind merged commit 65140a5 into main Oct 19, 2026
11 checks passed
@paldepind
paldepind deleted the unified/swift-qualified-generic-types branch October 19, 2026 07:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-change-note-required This PR does not need a change note Unified

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants