Merge pull request #2567 from apple/followup

Follow up of #2564

Author: meg-gupta

CodeGeneration/Sources/SyntaxSupport/TypeNodes.swift

@@ -542,42 +542,17 @@ public let TYPE_NODES: [Node] = [
     elementChoices: [.lifetimeSpecifierArgument]
   ),
 
-  Node(
-    kind: .lifetimeSpecifierArguments,
-    base: .syntax,
-    experimentalFeature: .nonescapableTypes,
-    nameForDiagnostics: nil,
-    documentation: """
-      An optional argument passed to a type parameter.
-
-      ### Example
-      `borrow(data)` in `func foo(data: Array<Item>) -> borrow(data) ComplexReferenceType`
-      """,
-    children: [
-      Child(
-        name: "arguments",
-        kind: .collection(kind: .lifetimeSpecifierArgumentList, collectionElementName: "Arguments"),
-        documentation: """
-          The function parameters that the lifetime of the annotated type depends on.
-          """
-      )
-    ]
-  ),
-
   Node(
     kind: .lifetimeTypeSpecifier,
     base: .syntax,
     experimentalFeature: .nonescapableTypes,
     nameForDiagnostics: "lifetime specifier",
     documentation: "A specifier that specifies function parameter on whose lifetime a type depends",
-    traits: [
-      "Parenthesized"
-    ],
     children: [
       Child(
         name: "dependsOnKeyword",
         kind: .token(choices: [.keyword(.dependsOn)]),
-        documentation: "The specifier token that's attached to the type."
+        documentation: "lifetime dependence specifier on the return type"
       ),
       Child(
         name: "leftParen",
@@ -586,11 +561,12 @@ public let TYPE_NODES: [Node] = [
       Child(
         name: "scopedKeyword",
         kind: .token(choices: [.keyword(.scoped)]),
+        documentation: "lifetime of return value is scoped to the lifetime of the original value",
         isOptional: true
       ),
       Child(
         name: "arguments",
-        kind: .node(kind: .lifetimeSpecifierArguments)
+        kind: .collection(kind: .lifetimeSpecifierArgumentList, collectionElementName: "Arguments")
       ),
       Child(
         name: "rightParen",

CodeGeneration/Tests/ValidateSyntaxNodes/ValidateSyntaxNodes.swift

@@ -550,6 +550,7 @@ class ValidateSyntaxNodes: XCTestCase {
           node: .yieldedExpressionsClause,
           message: "could conform to trait 'Parenthesized' but does not"
         ),
+        ValidationFailure(node: .lifetimeTypeSpecifier, message: "could conform to trait 'Parenthesized' but does not"),
       ]
     )
   }

Sources/SwiftParser/Types.swift

@@ -901,25 +901,23 @@ extension Parser.Lookahead {
 
 extension Parser {
   private mutating func parseLifetimeTypeSpecifier() -> RawTypeSpecifierListSyntax.Element {
-    let specifier = self.eat(TokenSpec(.dependsOn))
+    let (unexpectedBeforeDependsOnKeyword, dependsOnKeyword) = self.expect(.keyword(.dependsOn))
 
     guard let leftParen = self.consume(if: .leftParen) else {
       // If there is no left paren, add an entirely missing detail. Otherwise, we start to consume the following type
       // name as a token inside the detail, which leads to confusing recovery results.
-      let arguments = RawLifetimeSpecifierArgumentsSyntax(
-        arguments: RawLifetimeSpecifierArgumentListSyntax(
-          elements: [
-            RawLifetimeSpecifierArgumentSyntax(parameter: missingToken(.identifier), trailingComma: nil, arena: arena)
-          ],
-          arena: self.arena
-        ),
+      let lifetimeSpecifierArgumentList = RawLifetimeSpecifierArgumentListSyntax(
+        elements: [
+          RawLifetimeSpecifierArgumentSyntax(parameter: missingToken(.identifier), trailingComma: nil, arena: arena)
+        ],
         arena: self.arena
       )
       let lifetimeSpecifier = RawLifetimeTypeSpecifierSyntax(
-        dependsOnKeyword: specifier,
+        unexpectedBeforeDependsOnKeyword,
+        dependsOnKeyword: dependsOnKeyword,
         leftParen: missingToken(.leftParen),
         scopedKeyword: nil,
-        arguments: arguments,
+        arguments: lifetimeSpecifierArgumentList,
         rightParen: missingToken(.rightParen),
         arena: self.arena
       )
@@ -947,15 +945,12 @@ extension Parser {
     } while keepGoing != nil && self.hasProgressed(&loopProgress)
     let lifetimeSpecifierArgumentList = RawLifetimeSpecifierArgumentListSyntax(elements: arguments, arena: self.arena)
     let (unexpectedBeforeRightParen, rightParen) = self.expect(.rightParen)
-    let argumentsSyntax = RawLifetimeSpecifierArgumentsSyntax(
-      arguments: lifetimeSpecifierArgumentList,
-      arena: self.arena
-    )
     let lifetimeSpecifier = RawLifetimeTypeSpecifierSyntax(
-      dependsOnKeyword: specifier,
+      unexpectedBeforeDependsOnKeyword,
+      dependsOnKeyword: dependsOnKeyword,
       leftParen: leftParen,
       scopedKeyword: scoped,
-      arguments: argumentsSyntax,
+      arguments: lifetimeSpecifierArgumentList,
       unexpectedBeforeRightParen,
       rightParen: rightParen,
       arena: self.arena
@@ -981,7 +976,7 @@ extension Parser {
     SPECIFIER_PARSING: while canHaveParameterSpecifier {
       if let (_, specifierHandle) = self.at(anyIn: SimpleTypeSpecifierSyntax.SpecifierOptions.self) {
         specifiers.append(parseSimpleTypeSpecifier(specifierHandle: specifierHandle))
-      } else if self.at(TokenSpec(.dependsOn)) {
+      } else if self.at(.keyword(.dependsOn)) {
         if self.experimentalFeatures.contains(.nonescapableTypes) {
           specifiers.append(parseLifetimeTypeSpecifier())
         } else {

Sources/SwiftSyntax/generated/ChildNameForKeyPath.swift

@@ -2009,12 +2009,6 @@ public func childName(_ keyPath: AnyKeyPath) -> String? {
     return "trailingComma"
   case \LifetimeSpecifierArgumentSyntax.unexpectedAfterTrailingComma:
     return "unexpectedAfterTrailingComma"
-  case \LifetimeSpecifierArgumentsSyntax.unexpectedBeforeArguments:
-    return "unexpectedBeforeArguments"
-  case \LifetimeSpecifierArgumentsSyntax.arguments:
-    return "arguments"
-  case \LifetimeSpecifierArgumentsSyntax.unexpectedAfterArguments:
-    return "unexpectedAfterArguments"
   case \LifetimeTypeSpecifierSyntax.unexpectedBeforeDependsOnKeyword:
     return "unexpectedBeforeDependsOnKeyword"
   case \LifetimeTypeSpecifierSyntax.dependsOnKeyword:

Sources/SwiftSyntax/generated/SyntaxAnyVisitor.swift

@@ -1374,20 +1374,6 @@ open class SyntaxAnyVisitor: SyntaxVisitor {
     visitAnyPost(node._syntaxNode)
   }
 
-  #if compiler(>=5.8)
-  @_spi(ExperimentalLanguageFeatures)
-  #endif
-  override open func visit(_ node: LifetimeSpecifierArgumentsSyntax) -> SyntaxVisitorContinueKind {
-    return visitAny(node._syntaxNode)
-  }
-  
-  #if compiler(>=5.8)
-  @_spi(ExperimentalLanguageFeatures)
-  #endif
-  override open func visitPost(_ node: LifetimeSpecifierArgumentsSyntax) {
-    visitAnyPost(node._syntaxNode)
-  }
-  
   #if compiler(>=5.8)
   @_spi(ExperimentalLanguageFeatures)
   #endif

Sources/SwiftSyntax/generated/SyntaxBaseNodes.swift

@@ -1681,7 +1681,6 @@ extension Syntax {
           .node(LayoutRequirementSyntax.self),
           .node(LifetimeSpecifierArgumentListSyntax.self),
           .node(LifetimeSpecifierArgumentSyntax.self),
-          .node(LifetimeSpecifierArgumentsSyntax.self),
           .node(LifetimeTypeSpecifierSyntax.self),
           .node(MacroDeclSyntax.self),
           .node(MacroExpansionDeclSyntax.self),

Sources/SwiftSyntax/generated/SyntaxEnum.swift

@@ -191,10 +191,6 @@ public enum SyntaxEnum: Sendable {
   #if compiler(>=5.8)
   @_spi(ExperimentalLanguageFeatures)
   #endif
-  case lifetimeSpecifierArguments(LifetimeSpecifierArgumentsSyntax)
-  #if compiler(>=5.8)
-  @_spi(ExperimentalLanguageFeatures)
-  #endif
   case lifetimeTypeSpecifier(LifetimeTypeSpecifierSyntax)
   case macroDecl(MacroDeclSyntax)
   case macroExpansionDecl(MacroExpansionDeclSyntax)
@@ -651,8 +647,6 @@ public extension Syntax {
       return .lifetimeSpecifierArgumentList(LifetimeSpecifierArgumentListSyntax(self)!)
     case .lifetimeSpecifierArgument:
       return .lifetimeSpecifierArgument(LifetimeSpecifierArgumentSyntax(self)!)
-    case .lifetimeSpecifierArguments:
-      return .lifetimeSpecifierArguments(LifetimeSpecifierArgumentsSyntax(self)!)
     case .lifetimeTypeSpecifier:
       return .lifetimeTypeSpecifier(LifetimeTypeSpecifierSyntax(self)!)
     case .macroDecl:

Sources/SwiftSyntax/generated/SyntaxKind.swift

@@ -191,10 +191,6 @@ public enum SyntaxKind: Sendable {
   #if compiler(>=5.8)
   @_spi(ExperimentalLanguageFeatures)
   #endif
-  case lifetimeSpecifierArguments
-  #if compiler(>=5.8)
-  @_spi(ExperimentalLanguageFeatures)
-  #endif
   case lifetimeTypeSpecifier
   case macroDecl
   case macroExpansionDecl
@@ -776,8 +772,6 @@ public enum SyntaxKind: Sendable {
       return LifetimeSpecifierArgumentListSyntax.self
     case .lifetimeSpecifierArgument:
       return LifetimeSpecifierArgumentSyntax.self
-    case .lifetimeSpecifierArguments:
-      return LifetimeSpecifierArgumentsSyntax.self
     case .lifetimeTypeSpecifier:
       return LifetimeTypeSpecifierSyntax.self
     case .macroDecl:

Sources/SwiftSyntax/generated/SyntaxRewriter.swift

@@ -1239,16 +1239,6 @@ open class SyntaxRewriter {
     return visitChildren(node)
   }
 
-  /// Visit a `LifetimeSpecifierArgumentsSyntax`.
-  ///   - Parameter node: the node that is being visited
-  ///   - Returns: the rewritten node
-  #if compiler(>=5.8)
-  @_spi(ExperimentalLanguageFeatures)
-  #endif
-  open func visit(_ node: LifetimeSpecifierArgumentsSyntax) -> LifetimeSpecifierArgumentsSyntax {
-    return visitChildren(node)
-  }
-  
   /// Visit a `LifetimeTypeSpecifierSyntax`.
   ///   - Parameter node: the node that is being visited
   ///   - Returns: the rewritten node
@@ -2834,10 +2824,6 @@ open class SyntaxRewriter {
       return {
         self.visitImpl($0, LifetimeSpecifierArgumentSyntax.self, self.visit)
       }
-    case .lifetimeSpecifierArguments:
-      return {
-        self.visitImpl($0, LifetimeSpecifierArgumentsSyntax.self, self.visit)
-      }
     case .lifetimeTypeSpecifier:
       return {
         self.visitImpl($0, LifetimeTypeSpecifierSyntax.self, self.visit)
@@ -3656,8 +3642,6 @@ open class SyntaxRewriter {
       return visitImpl(node, LifetimeSpecifierArgumentListSyntax.self, visit)
     case .lifetimeSpecifierArgument:
       return visitImpl(node, LifetimeSpecifierArgumentSyntax.self, visit)
-    case .lifetimeSpecifierArguments:
-      return visitImpl(node, LifetimeSpecifierArgumentsSyntax.self, visit)
     case .lifetimeTypeSpecifier:
       return visitImpl(node, LifetimeTypeSpecifierSyntax.self, visit)
     case .macroDecl:

Sources/SwiftSyntax/generated/SyntaxTraits.swift

@@ -779,8 +779,6 @@ extension LabeledSpecializeArgumentSyntax: WithTrailingCommaSyntax {}
 
 extension LifetimeSpecifierArgumentSyntax: WithTrailingCommaSyntax {}
 
-extension LifetimeTypeSpecifierSyntax: ParenthesizedSyntax {}
-
 extension MacroDeclSyntax: NamedDeclSyntax, WithAttributesSyntax, WithGenericParametersSyntax, WithModifiersSyntax {}
 
 extension MacroExpansionDeclSyntax: FreestandingMacroExpansionSyntax, WithAttributesSyntax, WithModifiersSyntax {}