From cbd5764134c23aa1e2ffbe67ed310be149b850db Mon Sep 17 00:00:00 2001
From: Harlan Haskins <harlan@apple.com>
Date: Mon, 9 Oct 2023 16:25:40 -0600
Subject: [PATCH] Add support for '@retroactive' conformances in
 SwiftSyntaxParser

---
 CodeGeneration/Sources/SyntaxSupport/KeywordSpec.swift | 3 +++
 Sources/SwiftParser/TokenPrecedence.swift              | 1 +
 Sources/SwiftParser/TokenSpecSet.swift                 | 3 +++
 Sources/SwiftParser/Types.swift                        | 3 ++-
 Sources/SwiftSyntax/generated/Keyword.swift            | 4 ++++
 Tests/SwiftParserTest/DeclarationTests.swift           | 8 ++++++++
 6 files changed, 21 insertions(+), 1 deletion(-)

diff --git a/CodeGeneration/Sources/SyntaxSupport/KeywordSpec.swift b/CodeGeneration/Sources/SyntaxSupport/KeywordSpec.swift
index 5742d47458b..8ced026799a 100644
--- a/CodeGeneration/Sources/SyntaxSupport/KeywordSpec.swift
+++ b/CodeGeneration/Sources/SyntaxSupport/KeywordSpec.swift
@@ -240,6 +240,7 @@ public enum Keyword: CaseIterable {
   case `repeat`
   case required
   case `rethrows`
+  case retroactive
   case `return`
   case reverse
   case right
@@ -611,6 +612,8 @@ public enum Keyword: CaseIterable {
       return KeywordSpec("required")
     case .rethrows:
       return KeywordSpec("rethrows", isLexerClassified: true)
+    case .retroactive:
+      return KeywordSpec("retroactive")
     case .return:
       return KeywordSpec("return", isLexerClassified: true)
     case .reverse:
diff --git a/Sources/SwiftParser/TokenPrecedence.swift b/Sources/SwiftParser/TokenPrecedence.swift
index e2a48b167c6..e36d7469908 100644
--- a/Sources/SwiftParser/TokenPrecedence.swift
+++ b/Sources/SwiftParser/TokenPrecedence.swift
@@ -248,6 +248,7 @@ enum TokenPrecedence: Comparable {
       .noDerivative,
       .noescape,
       .Sendable,
+      .retroactive,
       .unchecked:
       self = .exprKeyword
 
diff --git a/Sources/SwiftParser/TokenSpecSet.swift b/Sources/SwiftParser/TokenSpecSet.swift
index 194c0dbc409..364a7c89569 100644
--- a/Sources/SwiftParser/TokenSpecSet.swift
+++ b/Sources/SwiftParser/TokenSpecSet.swift
@@ -630,6 +630,7 @@ enum TypeAttribute: TokenSpecSet {
   case escaping
   case noDerivative
   case noescape
+  case retroactive
   case Sendable
   case unchecked
 
@@ -646,6 +647,7 @@ enum TypeAttribute: TokenSpecSet {
     case TokenSpec(.noDerivative): self = .noDerivative
     case TokenSpec(.noescape): self = .noescape
     case TokenSpec(.Sendable): self = .Sendable
+    case TokenSpec(.retroactive): self = .retroactive
     case TokenSpec(.unchecked): self = .unchecked
     default: return nil
     }
@@ -663,6 +665,7 @@ enum TypeAttribute: TokenSpecSet {
     case .escaping: return .keyword(.escaping)
     case .noDerivative: return .keyword(.noDerivative)
     case .noescape: return .keyword(.noescape)
+    case .retroactive: return .keyword(.retroactive)
     case .Sendable: return .keyword(.Sendable)
     case .unchecked: return .keyword(.unchecked)
     }
diff --git a/Sources/SwiftParser/Types.swift b/Sources/SwiftParser/Types.swift
index 44c284ac32a..df9f18bc8c9 100644
--- a/Sources/SwiftParser/Types.swift
+++ b/Sources/SwiftParser/Types.swift
@@ -924,7 +924,8 @@ extension Parser {
 
   mutating func parseTypeAttribute() -> RawAttributeListSyntax.Element {
     switch peek(isAtAnyIn: TypeAttribute.self) {
-    case ._local, ._noMetadata, .async, .escaping, .noDerivative, .noescape, .Sendable, .unchecked, .autoclosure:
+    case ._local, ._noMetadata, .async, .escaping, .noDerivative, .noescape,
+        .retroactive, .Sendable, .unchecked, .autoclosure:
       // Known type attribute that doesn't take any arguments
       return parseAttributeWithoutArguments()
     case .differentiable:
diff --git a/Sources/SwiftSyntax/generated/Keyword.swift b/Sources/SwiftSyntax/generated/Keyword.swift
index 4d2e4ede5e3..8e999a9c233 100644
--- a/Sources/SwiftSyntax/generated/Keyword.swift
+++ b/Sources/SwiftSyntax/generated/Keyword.swift
@@ -182,6 +182,7 @@ public enum Keyword: UInt8, Hashable {
   case `repeat`
   case required
   case `rethrows`
+  case retroactive
   case `return`
   case reverse
   case right
@@ -620,6 +621,8 @@ public enum Keyword: UInt8, Hashable {
         self = .nonisolated
       case "nonmutating":
         self = .nonmutating
+      case "retroactive":
+        self = .retroactive
       case "unavailable":
         self = .unavailable
       default:
@@ -940,6 +943,7 @@ public enum Keyword: UInt8, Hashable {
       "repeat", 
       "required", 
       "rethrows", 
+      "retroactive", 
       "return", 
       "reverse", 
       "right", 
diff --git a/Tests/SwiftParserTest/DeclarationTests.swift b/Tests/SwiftParserTest/DeclarationTests.swift
index 627b122fead..8ca6fb7ff40 100644
--- a/Tests/SwiftParserTest/DeclarationTests.swift
+++ b/Tests/SwiftParserTest/DeclarationTests.swift
@@ -705,6 +705,14 @@ final class DeclarationTests: ParserTestCase {
     )
   }
 
+  func testParseRetroactiveExtension() {
+    assertParse(
+      """
+      extension Int: @retroactive Identifiable {}
+      """
+    )
+  }
+
   func testParseDynamicReplacement() {
     assertParse(
       """