Enable ExistentialAny

Author: AnthonyLatsis

Package.swift

@@ -129,6 +129,8 @@ var targets: [Target] = [
 do {
   let globalSwiftSettings: [SwiftSetting] = [
     // Swift 7 mode upcoming features. These must be compatible with 'swift-tools-version'.
+    .enableUpcomingFeature("ExistentialAny"),
+    .unsafeFlags(["-Werror", "ExistentialAny"]),
     .enableUpcomingFeature("InternalImportsByDefault"),
     .enableUpcomingFeature("MemberImportVisibility"),
     .enableUpcomingFeature("NonisolatedNonsendingByDefault"),

Sources/SwiftFormat/API/Configuration.swift

@@ -320,7 +320,7 @@ public struct Configuration: Codable, Equatable, Sendable {
     self = try jsonDecoder.decode(Configuration.self, from: data)
   }
 
-  public init(from decoder: Decoder) throws {
+  public init(from decoder: any Decoder) throws {
     let container = try decoder.container(keyedBy: CodingKeys.self)
 
     // If the version number is not present, assume it is 1.
@@ -463,7 +463,7 @@ public struct Configuration: Codable, Equatable, Sendable {
       ?? defaults.rules
   }
 
-  public func encode(to encoder: Encoder) throws {
+  public func encode(to encoder: any Encoder) throws {
     var container = encoder.container(keyedBy: CodingKeys.self)
 
     try container.encode(version, forKey: .version)

Sources/SwiftFormat/API/Finding.swift

@@ -71,7 +71,7 @@ public struct Finding {
   }
 
   /// The category associated with the finding.
-  public let category: FindingCategorizing
+  public let category: any FindingCategorizing
 
   /// The finding's message.
   public let message: Message
@@ -85,7 +85,7 @@ public struct Finding {
   /// Creates a new finding with the given category, message, optional location, and
   /// notes.
   init(
-    category: FindingCategorizing,
+    category: any FindingCategorizing,
     message: Message,
     location: Location? = nil,
     notes: [Note] = []

Sources/SwiftFormat/API/Indent.swift

@@ -27,7 +27,7 @@ public enum Indent: Hashable, Codable, Sendable {
     case spaces
   }
 
-  public init(from decoder: Decoder) throws {
+  public init(from decoder: any Decoder) throws {
     let container = try decoder.container(keyedBy: CodingKeys.self)
     let spacesCount = try container.decodeIfPresent(Int.self, forKey: .spaces)
     let tabsCount = try container.decodeIfPresent(Int.self, forKey: .tabs)
@@ -57,7 +57,7 @@ public enum Indent: Hashable, Codable, Sendable {
     )
   }
 
-  public func encode(to encoder: Encoder) throws {
+  public func encode(to encoder: any Encoder) throws {
     var container = encoder.container(keyedBy: CodingKeys.self)
     switch self {
     case .tabs(let count):

Sources/SwiftFormat/Core/DocumentationComment.swift

@@ -56,7 +56,7 @@ public struct DocumentationComment {
   ///
   /// If a brief summary paragraph was extracted from the comment, it will not be present in this
   /// collection.
-  public var bodyNodes: [Markup] = []
+  public var bodyNodes: [any Markup] = []
 
   /// The structural layout of the parameter descriptions in the comment.
   public var parameterLayout: ParameterLayout? = nil
@@ -95,7 +95,7 @@ public struct DocumentationComment {
   }
 
   /// Creates a new `DocumentationComment` from the given `Markup` node.
-  private init(markup: Markup) {
+  private init(markup: any Markup) {
     // Extract the first paragraph as the brief summary. It will *not* be included in the body
     // nodes.
     let remainingChildren: DropFirstSequence<MarkupChildren>
@@ -144,7 +144,7 @@ public struct DocumentationComment {
   /// If parameters were successfully extracted, the provided list is mutated to remove them as a
   /// side effect of this function.
   private mutating func extractParameterOutline(from list: inout UnorderedList) {
-    var unprocessedChildren: [Markup] = []
+    var unprocessedChildren: [any Markup] = []
 
     for child in list.children {
       guard
@@ -183,7 +183,7 @@ public struct DocumentationComment {
   /// If parameters were successfully extracted, the provided list is mutated to remove them as a
   /// side effect of this function.
   private mutating func extractSeparatedParameters(from list: inout UnorderedList) {
-    var unprocessedChildren: [Markup] = []
+    var unprocessedChildren: [any Markup] = []
 
     for child in list.children {
       guard
@@ -232,7 +232,7 @@ public struct DocumentationComment {
   ///
   /// If fields were successfully extracted, the provided list is mutated to remove them.
   private mutating func extractSimpleFields(from list: inout UnorderedList) {
-    var unprocessedChildren: [Markup] = []
+    var unprocessedChildren: [any Markup] = []
 
     for child in list.children {
       guard
@@ -272,19 +272,19 @@ private struct ParameterOutlineMarkupRewriter: MarkupRewriter {
   /// Populated if the list item to which this is applied represents a valid parameter field.
   private(set) var parameterName: String? = nil
 
-  mutating func visitListItem(_ listItem: ListItem) -> Markup? {
+  mutating func visitListItem(_ listItem: ListItem) -> (any Markup)? {
     // Only recurse into the exact list item we're applying this to; otherwise, return it unchanged.
     guard listItem.isIdentical(to: origin) else { return listItem }
     return defaultVisit(listItem)
   }
 
-  mutating func visitParagraph(_ paragraph: Paragraph) -> Markup? {
+  mutating func visitParagraph(_ paragraph: Paragraph) -> (any Markup)? {
     // Only recurse into the first paragraph in the list item.
     guard paragraph.indexInParent == 0 else { return paragraph }
     return defaultVisit(paragraph)
   }
 
-  mutating func visitText(_ text: Text) -> Markup? {
+  mutating func visitText(_ text: Text) -> (any Markup)? {
     // Only manipulate the first text node (of the first paragraph).
     guard text.indexInParent == 0 else { return text }
 
@@ -316,13 +316,13 @@ private struct SimpleFieldMarkupRewriter: MarkupRewriter {
   /// Populated if the list item to which this is applied represents a valid simple field.
   private(set) var paragraph: Paragraph? = nil
 
-  mutating func visitListItem(_ listItem: ListItem) -> Markup? {
+  mutating func visitListItem(_ listItem: ListItem) -> (any Markup)? {
     // Only recurse into the exact list item we're applying this to; otherwise, return it unchanged.
     guard listItem.isIdentical(to: origin) else { return listItem }
     return defaultVisit(listItem)
   }
 
-  mutating func visitParagraph(_ paragraph: Paragraph) -> Markup? {
+  mutating func visitParagraph(_ paragraph: Paragraph) -> (any Markup)? {
     // Only recurse into the first paragraph in the list item.
     guard paragraph.indexInParent == 0 else { return paragraph }
     guard let newNode = defaultVisit(paragraph) else { return nil }
@@ -331,7 +331,7 @@ private struct SimpleFieldMarkupRewriter: MarkupRewriter {
     return newParagraph
   }
 
-  mutating func visitText(_ text: Text) -> Markup? {
+  mutating func visitText(_ text: Text) -> (any Markup)? {
     // Only manipulate the first text node (of the first paragraph).
     guard text.indexInParent == 0 else { return text }
 

Sources/SwiftFormat/Core/FindingEmitter.swift

@@ -42,7 +42,7 @@ final class FindingEmitter {
   ///     related locations in the source file.
   public func emit(
     _ message: Finding.Message,
-    category: FindingCategorizing,
+    category: any FindingCategorizing,
     location: Finding.Location? = nil,
     notes: [Finding.Note] = []
   ) {

Sources/SwiftFormat/Core/Pipelines+Generated.swift

@@ -24,11 +24,11 @@ class LintPipeline: SyntaxVisitor {
 
   /// Stores lint and format rule instances, indexed by the `ObjectIdentifier` of a rule's
   /// class type.
-  var ruleCache = [ObjectIdentifier: Rule]()
+  var ruleCache = [ObjectIdentifier: any Rule]()
 
   /// Rules present in this dictionary skip visiting children until they leave the
   /// syntax node stored as their value
-  var shouldSkipChildren = [ObjectIdentifier: SyntaxProtocol]()
+  var shouldSkipChildren = [ObjectIdentifier: any SyntaxProtocol]()
 
   /// Creates a new lint pipeline.
   init(context: Context) {

Sources/SwiftFormat/Core/RuleBasedFindingCategory.swift

@@ -18,12 +18,12 @@
 /// defaults to the rule's type name).
 struct RuleBasedFindingCategory: FindingCategorizing {
   /// The type of the rule associated with this category.
-  private let ruleType: Rule.Type
+  private let ruleType: any Rule.Type
 
   var description: String { ruleType.ruleName }
 
   /// Creates a finding category that wraps the given rule type.
-  init(ruleType: Rule.Type) {
+  init(ruleType: any Rule.Type) {
     self.ruleType = ruleType
   }
 }

Sources/SwiftFormat/Core/SyntaxTraits.swift

@@ -21,20 +21,20 @@ extension FunctionCallExprSyntax: CallingExprSyntaxProtocol {}
 extension SubscriptCallExprSyntax: CallingExprSyntaxProtocol {}
 
 extension Syntax {
-  func asProtocol(_: CallingExprSyntaxProtocol.Protocol) -> CallingExprSyntaxProtocol? {
-    return self.asProtocol(SyntaxProtocol.self) as? CallingExprSyntaxProtocol
+  func asProtocol(_: (any CallingExprSyntaxProtocol).Protocol) -> (any CallingExprSyntaxProtocol)? {
+    return self.asProtocol((any SyntaxProtocol).self) as? (any CallingExprSyntaxProtocol)
   }
-  func isProtocol(_: CallingExprSyntaxProtocol.Protocol) -> Bool {
-    return self.asProtocol(CallingExprSyntaxProtocol.self) != nil
+  func isProtocol(_: (any CallingExprSyntaxProtocol).Protocol) -> Bool {
+    return self.asProtocol((any CallingExprSyntaxProtocol).self) != nil
   }
 }
 
 extension ExprSyntax {
-  func asProtocol(_: CallingExprSyntaxProtocol.Protocol) -> CallingExprSyntaxProtocol? {
-    return Syntax(self).asProtocol(SyntaxProtocol.self) as? CallingExprSyntaxProtocol
+  func asProtocol(_: (any CallingExprSyntaxProtocol).Protocol) -> (any CallingExprSyntaxProtocol)? {
+    return Syntax(self).asProtocol((any SyntaxProtocol).self) as? (any CallingExprSyntaxProtocol)
   }
-  func isProtocol(_: CallingExprSyntaxProtocol.Protocol) -> Bool {
-    return self.asProtocol(CallingExprSyntaxProtocol.self) != nil
+  func isProtocol(_: (any CallingExprSyntaxProtocol).Protocol) -> Bool {
+    return self.asProtocol((any CallingExprSyntaxProtocol).self) != nil
   }
 }
 
@@ -49,41 +49,41 @@ extension TryExprSyntax: KeywordModifiedExprSyntaxProtocol {}
 extension UnsafeExprSyntax: KeywordModifiedExprSyntaxProtocol {}
 
 extension Syntax {
-  func asProtocol(_: KeywordModifiedExprSyntaxProtocol.Protocol) -> KeywordModifiedExprSyntaxProtocol? {
-    return self.asProtocol(SyntaxProtocol.self) as? KeywordModifiedExprSyntaxProtocol
+  func asProtocol(_: (any KeywordModifiedExprSyntaxProtocol).Protocol) -> (any KeywordModifiedExprSyntaxProtocol)? {
+    return self.asProtocol((any SyntaxProtocol).self) as? (any KeywordModifiedExprSyntaxProtocol)
   }
-  func isProtocol(_: KeywordModifiedExprSyntaxProtocol.Protocol) -> Bool {
-    return self.asProtocol(KeywordModifiedExprSyntaxProtocol.self) != nil
+  func isProtocol(_: (any KeywordModifiedExprSyntaxProtocol).Protocol) -> Bool {
+    return self.asProtocol((any KeywordModifiedExprSyntaxProtocol).self) != nil
   }
 }
 
 extension ExprSyntax {
-  func asProtocol(_: KeywordModifiedExprSyntaxProtocol.Protocol) -> KeywordModifiedExprSyntaxProtocol? {
-    return Syntax(self).asProtocol(SyntaxProtocol.self) as? KeywordModifiedExprSyntaxProtocol
+  func asProtocol(_: (any KeywordModifiedExprSyntaxProtocol).Protocol) -> (any KeywordModifiedExprSyntaxProtocol)? {
+    return Syntax(self).asProtocol((any SyntaxProtocol).self) as? (any KeywordModifiedExprSyntaxProtocol)
   }
-  func isProtocol(_: KeywordModifiedExprSyntaxProtocol.Protocol) -> Bool {
-    return self.asProtocol(KeywordModifiedExprSyntaxProtocol.self) != nil
+  func isProtocol(_: (any KeywordModifiedExprSyntaxProtocol).Protocol) -> Bool {
+    return self.asProtocol((any KeywordModifiedExprSyntaxProtocol).self) != nil
   }
 }
 
 /// Common protocol implemented by comma-separated lists whose elements
 /// support a `trailingComma`.
 protocol CommaSeparatedListSyntaxProtocol: SyntaxCollection where Element: WithTrailingCommaSyntax & Equatable {
   /// The node used for trailing comma handling; inserted immediately after this node.
-  var lastNodeForTrailingComma: SyntaxProtocol? { get }
+  var lastNodeForTrailingComma: (any SyntaxProtocol)? { get }
 }
 
 extension ArrayElementListSyntax: CommaSeparatedListSyntaxProtocol {
-  var lastNodeForTrailingComma: SyntaxProtocol? { last?.expression }
+  var lastNodeForTrailingComma: (any SyntaxProtocol)? { last?.expression }
 }
 extension DictionaryElementListSyntax: CommaSeparatedListSyntaxProtocol {
-  var lastNodeForTrailingComma: SyntaxProtocol? { last }
+  var lastNodeForTrailingComma: (any SyntaxProtocol)? { last }
 }
 extension LabeledExprListSyntax: CommaSeparatedListSyntaxProtocol {
-  var lastNodeForTrailingComma: SyntaxProtocol? { last?.expression }
+  var lastNodeForTrailingComma: (any SyntaxProtocol)? { last?.expression }
 }
 extension ClosureCaptureListSyntax: CommaSeparatedListSyntaxProtocol {
-  var lastNodeForTrailingComma: SyntaxProtocol? {
+  var lastNodeForTrailingComma: (any SyntaxProtocol)? {
     if let initializer = last?.initializer {
       return initializer
     } else {
@@ -92,7 +92,7 @@ extension ClosureCaptureListSyntax: CommaSeparatedListSyntaxProtocol {
   }
 }
 extension EnumCaseParameterListSyntax: CommaSeparatedListSyntaxProtocol {
-  var lastNodeForTrailingComma: SyntaxProtocol? {
+  var lastNodeForTrailingComma: (any SyntaxProtocol)? {
     if let defaultValue = last?.defaultValue {
       return defaultValue
     } else {
@@ -101,7 +101,7 @@ extension EnumCaseParameterListSyntax: CommaSeparatedListSyntaxProtocol {
   }
 }
 extension FunctionParameterListSyntax: CommaSeparatedListSyntaxProtocol {
-  var lastNodeForTrailingComma: SyntaxProtocol? {
+  var lastNodeForTrailingComma: (any SyntaxProtocol)? {
     if let defaultValue = last?.defaultValue {
       return defaultValue
     } else if let ellipsis = last?.ellipsis {
@@ -112,7 +112,7 @@ extension FunctionParameterListSyntax: CommaSeparatedListSyntaxProtocol {
   }
 }
 extension GenericParameterListSyntax: CommaSeparatedListSyntaxProtocol {
-  var lastNodeForTrailingComma: SyntaxProtocol? {
+  var lastNodeForTrailingComma: (any SyntaxProtocol)? {
     if let inheritedType = last?.inheritedType {
       return inheritedType
     } else {
@@ -121,12 +121,12 @@ extension GenericParameterListSyntax: CommaSeparatedListSyntaxProtocol {
   }
 }
 extension TuplePatternElementListSyntax: CommaSeparatedListSyntaxProtocol {
-  var lastNodeForTrailingComma: SyntaxProtocol? { last?.pattern }
+  var lastNodeForTrailingComma: (any SyntaxProtocol)? { last?.pattern }
 }
 
 extension SyntaxProtocol {
   func asProtocol(_: (any CommaSeparatedListSyntaxProtocol).Protocol) -> (any CommaSeparatedListSyntaxProtocol)? {
-    return Syntax(self).asProtocol(SyntaxProtocol.self) as? (any CommaSeparatedListSyntaxProtocol)
+    return Syntax(self).asProtocol((any SyntaxProtocol).self) as? (any CommaSeparatedListSyntaxProtocol)
   }
   func isProtocol(_: (any CommaSeparatedListSyntaxProtocol).Protocol) -> Bool {
     return self.asProtocol((any CommaSeparatedListSyntaxProtocol).self) != nil

Sources/SwiftFormat/Core/WithSemicolonSyntax.swift

@@ -21,11 +21,11 @@ extension MemberBlockItemSyntax: WithSemicolonSyntax {}
 extension CodeBlockItemSyntax: WithSemicolonSyntax {}
 
 extension SyntaxProtocol {
-  func asProtocol(_: WithSemicolonSyntax.Protocol) -> WithSemicolonSyntax? {
-    return Syntax(self).asProtocol(SyntaxProtocol.self) as? WithSemicolonSyntax
+  func asProtocol(_: (any WithSemicolonSyntax).Protocol) -> (any WithSemicolonSyntax)? {
+    return Syntax(self).asProtocol((any SyntaxProtocol).self) as? (any WithSemicolonSyntax)
   }
 
-  func isProtocol(_: WithSemicolonSyntax.Protocol) -> Bool {
-    return self.asProtocol(WithSemicolonSyntax.self) != nil
+  func isProtocol(_: (any WithSemicolonSyntax).Protocol) -> Bool {
+    return self.asProtocol((any WithSemicolonSyntax).self) != nil
   }
 }