Delete dependsOn support

Author: meg-gupta

CodeGeneration/Sources/SyntaxSupport/KeywordSpec.swift

@@ -167,7 +167,6 @@ public enum Keyword: CaseIterable {
   case `default`
   case `defer`
   case `deinit`
-  case dependsOn
   case deprecated
   case derivative
   case didSet
@@ -257,7 +256,6 @@ public enum Keyword: CaseIterable {
   case reverse
   case right
   case safe
-  case scoped
   case `self`
   case sending
   case `Self`
@@ -476,8 +474,6 @@ public enum Keyword: CaseIterable {
       return KeywordSpec("defer", isLexerClassified: true)
     case .deinit:
       return KeywordSpec("deinit", isLexerClassified: true)
-    case .dependsOn:
-      return KeywordSpec("dependsOn", experimentalFeature: .nonescapableTypes)
     case .deprecated:
       return KeywordSpec("deprecated")
     case .derivative:
@@ -654,8 +650,6 @@ public enum Keyword: CaseIterable {
       return KeywordSpec("right")
     case .safe:
       return KeywordSpec("safe")
-    case .scoped:
-      return KeywordSpec("scoped", experimentalFeature: .nonescapableTypes)
     case .self:
       return KeywordSpec("self", isLexerClassified: true)
     case .Self:

CodeGeneration/Sources/SyntaxSupport/SyntaxNodeKind.swift

@@ -182,9 +182,6 @@ public enum SyntaxNodeKind: String, CaseIterable, IdentifierConvertible, TypeCon
   case labeledSpecializeArgument
   case labeledStmt
   case layoutRequirement
-  case lifetimeSpecifierArgument
-  case lifetimeSpecifierArgumentList
-  case lifetimeTypeSpecifier
   case macroDecl
   case macroExpansionDecl
   case macroExpansionExpr
@@ -290,7 +287,6 @@ public enum SyntaxNodeKind: String, CaseIterable, IdentifierConvertible, TypeCon
   case typeExpr
   case typeInitializerClause
   case typeSpecifier
-  case lifetimeSpecifierArguments
   case typeSpecifierList
   case unavailableFromAsyncAttributeArguments
   case underscorePrivateAttributeArguments

CodeGeneration/Sources/SyntaxSupport/TypeNodes.swift

@@ -500,81 +500,6 @@ public let TYPE_NODES: [Node] = [
     ]
   ),
 
-  Node(
-    kind: .lifetimeSpecifierArgument,
-    base: .syntax,
-    experimentalFeature: .nonescapableTypes,
-    nameForDiagnostics: nil,
-    documentation: """
-      A single argument that can be added to a lifetime specifier like `borrow`, `mutate`, `consume` or `copy`.
-
-      ### Example
-      `data` in `func foo(data: Array<Item>) -> borrow(data) ComplexReferenceType`
-      """,
-    traits: [
-      "WithTrailingComma"
-    ],
-    children: [
-      Child(
-        name: "parameter",
-        kind: .token(choices: [.token(.identifier), .keyword(.self), .token(.integerLiteral)]),
-        nameForDiagnostics: "parameter reference",
-        documentation: """
-          The parameter on which the lifetime of this type depends. 
-
-          This can be an identifier referring to an external parameter name, an integer literal to refer to an unnamed
-          parameter or `self` if the type's lifetime depends on the object the method is called on.
-          """
-      ),
-      Child(
-        name: "trailingComma",
-        kind: .token(choices: [.token(.comma)]),
-        isOptional: true
-      ),
-    ]
-  ),
-
-  Node(
-    kind: .lifetimeSpecifierArgumentList,
-    base: .syntaxCollection,
-    experimentalFeature: .nonescapableTypes,
-    nameForDiagnostics: nil,
-    elementChoices: [.lifetimeSpecifierArgument]
-  ),
-
-  Node(
-    kind: .lifetimeTypeSpecifier,
-    base: .syntax,
-    experimentalFeature: .nonescapableTypes,
-    nameForDiagnostics: "lifetime specifier",
-    documentation: "A specifier that specifies function parameter on whose lifetime a type depends",
-    children: [
-      Child(
-        name: "dependsOnKeyword",
-        kind: .token(choices: [.keyword(.dependsOn)]),
-        documentation: "lifetime dependence specifier on the return type"
-      ),
-      Child(
-        name: "leftParen",
-        kind: .token(choices: [.token(.leftParen)])
-      ),
-      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: .collection(kind: .lifetimeSpecifierArgumentList, collectionElementName: "Arguments")
-      ),
-      Child(
-        name: "rightParen",
-        kind: .token(choices: [.token(.rightParen)])
-      ),
-    ]
-  ),
-
   Node(
     kind: .simpleTypeSpecifier,
     base: .syntax,
@@ -602,6 +527,6 @@ public let TYPE_NODES: [Node] = [
     kind: .typeSpecifierList,
     base: .syntaxCollection,
     nameForDiagnostics: nil,
-    elementChoices: [.simpleTypeSpecifier, .lifetimeTypeSpecifier]
+    elementChoices: [.simpleTypeSpecifier]
   ),
 ]

Sources/SwiftParser/TokenPrecedence.swift

@@ -236,7 +236,7 @@ enum TokenPrecedence: Comparable {
       .convenience, .override, .package, .open,
       .__setter_access, .indirect, .isolated, .nonisolated, .distributed, ._local,
       .inout, ._mutating, ._borrow, ._borrowing, .borrowing, ._consuming, .consuming, .consume,
-      .dependsOn, .scoped, .sending,
+      .sending,
       // Accessors
       .get, .set, .didSet, .willSet, .unsafeAddress, .addressWithOwner, .addressWithNativeOwner, .unsafeMutableAddress,
       .mutableAddressWithOwner, .mutableAddressWithNativeOwner, ._read, .read, ._modify, .modify,

Sources/SwiftParser/Types.swift

@@ -874,69 +874,11 @@ extension Parser.Lookahead {
 }
 
 extension Parser {
-  private mutating func parseLifetimeTypeSpecifier() -> RawTypeSpecifierListSyntax.Element {
-    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 lifetimeSpecifierArgumentList = RawLifetimeSpecifierArgumentListSyntax(
-        elements: [
-          RawLifetimeSpecifierArgumentSyntax(parameter: missingToken(.identifier), trailingComma: nil, arena: arena)
-        ],
-        arena: self.arena
-      )
-      let lifetimeSpecifier = RawLifetimeTypeSpecifierSyntax(
-        unexpectedBeforeDependsOnKeyword,
-        dependsOnKeyword: dependsOnKeyword,
-        leftParen: missingToken(.leftParen),
-        scopedKeyword: nil,
-        arguments: lifetimeSpecifierArgumentList,
-        rightParen: missingToken(.rightParen),
-        arena: self.arena
-      )
-      return .lifetimeTypeSpecifier(lifetimeSpecifier)
-    }
-
-    let scoped = self.consume(if: .keyword(.scoped))
-    var keepGoing: RawTokenSyntax?
-    var arguments: [RawLifetimeSpecifierArgumentSyntax] = []
-    var loopProgress = LoopProgressCondition()
-    repeat {
-      let (unexpectedBeforeParameter, parameter) = self.expect(
-        anyIn: LifetimeSpecifierArgumentSyntax.ParameterOptions.self,
-        default: .identifier
-      )
-      keepGoing = self.consume(if: .comma)
-      arguments.append(
-        RawLifetimeSpecifierArgumentSyntax(
-          unexpectedBeforeParameter,
-          parameter: parameter,
-          trailingComma: keepGoing,
-          arena: arena
-        )
-      )
-    } while keepGoing != nil && self.hasProgressed(&loopProgress)
-    let lifetimeSpecifierArgumentList = RawLifetimeSpecifierArgumentListSyntax(elements: arguments, arena: self.arena)
-    let (unexpectedBeforeRightParen, rightParen) = self.expect(.rightParen)
-    let lifetimeSpecifier = RawLifetimeTypeSpecifierSyntax(
-      unexpectedBeforeDependsOnKeyword,
-      dependsOnKeyword: dependsOnKeyword,
-      leftParen: leftParen,
-      scopedKeyword: scoped,
-      arguments: lifetimeSpecifierArgumentList,
-      unexpectedBeforeRightParen,
-      rightParen: rightParen,
-      arena: self.arena
-    )
-    return .lifetimeTypeSpecifier(lifetimeSpecifier)
-  }
-
   private mutating func parseSimpleTypeSpecifier(
     specifierHandle: TokenConsumptionHandle
-  ) -> RawTypeSpecifierListSyntax.Element {
+  ) -> RawSimpleTypeSpecifierSyntax {
     let specifier = self.eat(specifierHandle)
-    return .simpleTypeSpecifier(RawSimpleTypeSpecifierSyntax(specifier: specifier, arena: arena))
+    return RawSimpleTypeSpecifierSyntax(specifier: specifier, arena: arena)
   }
 
   mutating func parseTypeAttributeList(
@@ -945,26 +887,18 @@ extension Parser {
     specifiers: RawTypeSpecifierListSyntax,
     attributes: RawAttributeListSyntax
   )? {
-    var specifiers: [RawTypeSpecifierListSyntax.Element] = []
+    var specifiers: [RawSimpleTypeSpecifierSyntax] = []
     SPECIFIER_PARSING: while canHaveParameterSpecifier {
       if let (_, specifierHandle) = self.at(anyIn: SimpleTypeSpecifierSyntax.SpecifierOptions.self) {
         specifiers.append(parseSimpleTypeSpecifier(specifierHandle: specifierHandle))
-      } else if self.at(.keyword(.dependsOn)) {
-        if self.experimentalFeatures.contains(.nonescapableTypes) {
-          specifiers.append(parseLifetimeTypeSpecifier())
-        } else {
-          break SPECIFIER_PARSING
-        }
       } else {
         break SPECIFIER_PARSING
       }
     }
     specifiers += misplacedSpecifiers.map {
-      .simpleTypeSpecifier(
-        RawSimpleTypeSpecifierSyntax(
-          specifier: missingToken($0.tokenKind, text: $0.tokenText),
-          arena: arena
-        )
+      RawSimpleTypeSpecifierSyntax(
+        specifier: missingToken($0.tokenKind, text: $0.tokenText),
+        arena: arena
       )
     }
 

Sources/SwiftParser/generated/Parser+TokenSpecSet.swift

@@ -2679,67 +2679,6 @@ extension LayoutRequirementSyntax {
   }
 }
 
-extension LifetimeSpecifierArgumentSyntax {
-  @_spi(Diagnostics)
-  public enum ParameterOptions: TokenSpecSet {
-    case identifier
-    case `self`
-    case integerLiteral
-
-    init?(lexeme: Lexer.Lexeme, experimentalFeatures: Parser.ExperimentalFeatures) {
-      switch PrepareForKeywordMatch(lexeme) {
-      case TokenSpec(.identifier):
-        self = .identifier
-      case TokenSpec(.self):
-        self = .self
-      case TokenSpec(.integerLiteral):
-        self = .integerLiteral
-      default:
-        return nil
-      }
-    }
-
-    public init?(token: TokenSyntax) {
-      switch token {
-      case TokenSpec(.identifier):
-        self = .identifier
-      case TokenSpec(.self):
-        self = .self
-      case TokenSpec(.integerLiteral):
-        self = .integerLiteral
-      default:
-        return nil
-      }
-    }
-
-    var spec: TokenSpec {
-      switch self {
-      case .identifier:
-        return .identifier
-      case .self:
-        return .keyword(.self)
-      case .integerLiteral:
-        return .integerLiteral
-      }
-    }
-
-    /// Returns a token that satisfies the `TokenSpec` of this case.
-    ///
-    /// If the token kind of this spec has variable text, e.g. for an identifier, this returns a token with empty text.
-    @_spi(Diagnostics)
-    public var tokenSyntax: TokenSyntax {
-      switch self {
-      case .identifier:
-        return .identifier("")
-      case .self:
-        return .keyword(.self)
-      case .integerLiteral:
-        return .integerLiteral("")
-      }
-    }
-  }
-}
-
 extension MemberTypeSyntax {
   @_spi(Diagnostics)
   public enum NameOptions: TokenSpecSet {

Sources/SwiftParserDiagnostics/SyntaxExtensions.swift

@@ -210,8 +210,7 @@ extension TypeSpecifierListSyntax {
   var simpleSpecifiers: [TokenSyntax] {
     return self.compactMap { specifier in
       switch specifier {
-      case .simpleTypeSpecifier(let specifier): return specifier.specifier
-      case .lifetimeTypeSpecifier: return nil
+      case let specifier: return specifier.specifier
       #if RESILIENT_LIBRARIES
       @unknown default:
         fatalError()

Sources/SwiftParserDiagnostics/generated/ChildNameForDiagnostics.swift

@@ -224,8 +224,6 @@ private func childNameForDiagnostics(_ keyPath: AnyKeyPath) -> String? {
     return "size"
   case \LayoutRequirementSyntax.alignment:
     return "alignment"
-  case \LifetimeSpecifierArgumentSyntax.parameter:
-    return "parameter reference"
   case \MacroDeclSyntax.attributes:
     return "attributes"
   case \MacroDeclSyntax.modifiers:

Sources/SwiftParserDiagnostics/generated/SyntaxKindNameForDiagnostics.swift

@@ -251,8 +251,6 @@ extension SyntaxKind {
       return "labeled statement"
     case .layoutRequirement:
       return "layout requirement"
-    case .lifetimeTypeSpecifier:
-      return "lifetime specifier"
     case .macroDecl:
       return "macro"
     case .macroExpansionDecl:

Sources/SwiftSyntax/SwiftSyntaxCompatibility.swift

@@ -52,7 +52,7 @@ extension AttributedTypeSyntax {
   ) {
     let specifiers: TypeSpecifierListSyntax
     if let specifier {
-      specifiers = [.simpleTypeSpecifier(SimpleTypeSpecifierSyntax(specifier: specifier))]
+      specifiers = [SimpleTypeSpecifierSyntax(specifier: specifier)]
     } else {
       specifiers = []
     }
@@ -82,14 +82,14 @@ extension AttributedTypeSyntax {
   @available(*, deprecated, message: "Access the specifiers list instead")
   public var specifier: TokenSyntax? {
     get {
-      if case .simpleTypeSpecifier(let simpleSpecifier) = specifiers.first {
+      if let simpleSpecifier = specifiers.first {
         return simpleSpecifier.specifier
       }
       return nil
     }
     set {
       if let newValue {
-        specifiers = [.simpleTypeSpecifier(SimpleTypeSpecifierSyntax(specifier: newValue))]
+        specifiers = [SimpleTypeSpecifierSyntax(specifier: newValue)]
       } else {
         specifiers = []
       }