Unified: Preserve generic arguments on qualified Swift types

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

Author: paldepind

unified/extractor/src/languages/swift/swift.rs

@@ -1186,7 +1186,17 @@ fn translation_rules() -> Vec<Rule<SwiftContext>> {
         rule!((identifierType name: @@n) => (identifier #{n})),
         // A qualified type (`Outer.Inner`, `NSString.CompareOptions`). swift-syntax
         // nests these as `memberType` nodes; preserve the nesting as ordinary
-        // member access.
+        // member access, wrapped in a generic type when it has type arguments.
+        rule!(
+            (memberType
+                baseType: @base
+                name: @@name
+                genericArgumentClause: (genericArgumentClause arguments: (genericArgument argument: @args)*))
+            =>
+            (generic_type_expr
+                base: (member_access_expr base: {base} member_name_node: (identifier #{name}))
+                type_argument: {args})
+        ),
         rule!(
             (memberType baseType: @base name: @@name)
             =>

unified/extractor/tests/corpus/swift/types/qualified-type.output

@@ -377,28 +377,44 @@ top_level source="⟨body⟩"
             parameter source="⟨external_name_node⟩ ⟨pattern⟩: ⟨type⟩"
               external_name_node: identifier "_" source="_"
               type:
-                member_access_expr source="⟨base⟩.⟨member_name_node⟩<Metadata>"
-                  base: identifier "Outer" source="Outer"
-                  member_name_node: identifier "Generic" source="Generic"
+                generic_type_expr source="⟨base⟩<⟨type_argument⟩>"
+                  base:
+                    member_access_expr source="⟨base⟩.⟨member_name_node⟩"
+                      base: identifier "Outer" source="Outer"
+                      member_name_node: identifier "Generic" source="Generic"
+                  type_argument: identifier "Metadata" source="Metadata"
               pattern: identifier "value" source="value"
             parameter source="⟨external_name_node⟩ ⟨pattern⟩: ⟨type⟩"
               external_name_node: identifier "_" source="_"
               type:
-                member_access_expr source="⟨base⟩.⟨member_name_node⟩<ErrorComponentType, [Metadata]>"
+                generic_type_expr source="⟨base⟩<⟨type_argument⟩, ⟨type_argument⟩>"
                   base:
-                    member_access_expr source="⟨base⟩.⟨member_name_node⟩<Metadata>"
-                      base: identifier "Outer" source="Outer"
-                      member_name_node: identifier "Generic" source="Generic"
-                  member_name_node: identifier "Deep" source="Deep"
+                    member_access_expr source="⟨base⟩.⟨member_name_node⟩"
+                      base:
+                        generic_type_expr source="⟨base⟩<⟨type_argument⟩>"
+                          base:
+                            member_access_expr source="⟨base⟩.⟨member_name_node⟩"
+                              base: identifier "Outer" source="Outer"
+                              member_name_node: identifier "Generic" source="Generic"
+                          type_argument: identifier "Metadata" source="Metadata"
+                      member_name_node: identifier "Deep" source="Deep"
+                  type_argument:
+                    identifier "ErrorComponentType" source="ErrorComponentType"
+                    generic_type_expr source="[⟨type_argument⟩]"
+                      base: identifier "Array" source=""
+                      type_argument: identifier "Metadata" source="Metadata"
               pattern: identifier "nested" source="nested"
             parameter source="⟨external_name_node⟩ ⟨pattern⟩: ⟨type⟩"
               external_name_node: identifier "_" source="_"
               type:
                 member_access_expr source="⟨base⟩.⟨member_name_node⟩"
                   base:
-                    member_access_expr source="⟨base⟩.⟨member_name_node⟩<Metadata>"
-                      base: identifier "Outer" source="Outer"
-                      member_name_node: identifier "Generic" source="Generic"
+                    generic_type_expr source="⟨base⟩<⟨type_argument⟩>"
+                      base:
+                        member_access_expr source="⟨base⟩.⟨member_name_node⟩"
+                          base: identifier "Outer" source="Outer"
+                          member_name_node: identifier "Generic" source="Generic"
+                      type_argument: identifier "Metadata" source="Metadata"
                   member_name_node: identifier "Plain" source="Plain"
               pattern: identifier "plain" source="plain"
           body: block "{}" source="{}"