unified: Update AST mapping

Author: asgerf

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

@@ -210,9 +210,8 @@ fn translation_rules() -> Vec<Rule<SwiftContext>> {
         // referenced identifier / operator symbol.
         rule!((declReferenceExpr baseName: @name) => (identifier #{name})),
         // A discard `_` used as an expression — e.g. the target of a discarding
-        // assignment `_ = x`. swift-syntax models it as a `discardAssignmentExpr`;
-        // the target AST represents it as a `name_node` over the `_` token.
-        rule!((discardAssignmentExpr wildcard: @@w) => (identifier #{w})),
+        // assignment `_ = x`. swift-syntax models it as a `discardAssignmentExpr`.
+        rule!((discardAssignmentExpr wildcard: @@w) => (ignore_pattern #{w})),
         // A generic specialization in expression position (`C<Foo>`,
         // `Array<Int>`) is represented by swift-syntax as a
         // `genericSpecializationExpr`. When used as a call target
@@ -547,7 +546,7 @@ fn translation_rules() -> Vec<Rule<SwiftContext>> {
         // A wildcard *binding* pattern (`let _ = x`, `for _ in xs`). swift-syntax
         // models this as a `wildcardPattern`, distinct from the `_` match form
         // handled by the context-aware `discardAssignmentExpr` rule.
-        rule!((wildcardPattern) @@wildcard => (identifier #{wildcard})),
+        rule!((wildcardPattern) @@wildcard => (ignore_pattern #{wildcard})),
         // An expression pattern only establishes pattern context; its child
         // determines the concrete pattern shape.
         rule!((expressionPattern expression: @@e) => expr {

unified/extractor/tests/corpus/swift/expressions/super-expression.output

@@ -171,7 +171,7 @@ top_level source="⟨body⟩"
                 block source="override func update() {\n    ⟨stmt⟩\n    ⟨stmt⟩\n  }"
                   stmt:
                     binary_expr source="⟨left⟩ ⟨operator⟩ ⟨right⟩"
-                      left: identifier "_" source="_"
+                      left: ignore_pattern "_" source="_"
                       operator: infix_operator "=" source="="
                       right:
                         member_access_expr source="⟨base⟩.⟨member_name_node⟩"

unified/extractor/tests/corpus/swift/operators/unresolved-operator-sequence-with-casts.output

@@ -109,7 +109,7 @@ top_level source="⟨body⟩"
               stmt:
                 unresolved_operator_sequence source="⟨element⟩ ⟨element⟩ ⟨element⟩ ⟨element⟩ ⟨element⟩ ⟨element⟩ ⟨element⟩"
                   element:
-                    identifier "_" source="_"
+                    ignore_pattern "_" source="_"
                     infix_operator "=" source="="
                     identifier "a" source="a"
                     infix_operator "as" source="as"
@@ -118,7 +118,7 @@ top_level source="⟨body⟩"
                     identifier "b" source="b"
                 unresolved_operator_sequence source="⟨element⟩ ⟨element⟩ ⟨element⟩ ⟨element⟩ ⟨element⟩ ⟨element⟩ ⟨element⟩"
                   element:
-                    identifier "_" source="_"
+                    ignore_pattern "_" source="_"
                     infix_operator "=" source="="
                     identifier "a" source="a"
                     infix_operator "is" source="is"

unified/extractor/tests/corpus/swift/operators/unresolved-operator-sequence.output

@@ -82,7 +82,7 @@ top_level source="⟨body⟩"
               stmt:
                 unresolved_operator_sequence source="⟨element⟩ ⟨element⟩ ⟨element⟩ ⟨element⟩ ⟨element⟩"
                   element:
-                    identifier "_" source="_"
+                    ignore_pattern "_" source="_"
                     infix_operator "=" source="="
                     identifier "a" source="a"
                     infix_operator ".&" source=".&"