accept sameShape constraint kind from SymbolKit

rdar://129338238

Author: QuietMisdreavus

Package.resolved

@@ -137,7 +137,8 @@ if ProcessInfo.processInfo.environment["SWIFTCI_USE_LOCAL_DEPS"] == nil {
         .package(url: "https://github.com/swiftlang/swift-markdown.git", branch: "main"),
         .package(url: "https://github.com/swiftlang/swift-lmdb.git", branch: "main"),
         .package(url: "https://github.com/apple/swift-argument-parser.git", from: "1.2.2"),
-        .package(url: "https://github.com/swiftlang/swift-docc-symbolkit.git", branch: "main"),
+//        .package(url: "https://github.com/swiftlang/swift-docc-symbolkit.git", branch: "main"),
+        .package(url: "https://github.com/QuietMisdreavus/swift-docc-symbolkit.git", branch: "same-shape"),
         .package(url: "https://github.com/apple/swift-crypto.git", from: "3.0.0"),
         .package(url: "https://github.com/swiftlang/swift-docc-plugin.git", from: "1.2.0"),
     ]

Package.swift

@@ -20,6 +20,7 @@ extension Constraint.Kind {
         case .conformance: return "conforms to"
         case .sameType: return "is"
         case .superclass: return "inherits"
+        case .sameShape: return "is the same shape as"
         }
     }
 }

Sources/SwiftDocC/Model/Rendering/Symbol/ConformanceSection.swift

@@ -273,6 +273,43 @@ class ConstraintsRenderSectionTests: XCTestCase {
         // Verify we've removed the "Self." prefix in the type names
         XCTAssertEqual(renderReference.conformance?.constraints.map(flattenInlineElements).joined(), "Element conforms to MyProtocol and Index conforms to Equatable.")
     }
+
+    func testRenderSameShape() async throws {
+        let (_, bundle, context) = try await testBundleAndContext(copying: "LegacyBundle_DoNotUseInNewTests", excludingPaths: []) { bundleURL in
+            // Add constraints to `MyClass`
+            let graphURL = bundleURL.appendingPathComponent("mykit-iOS.symbols.json")
+            var graph = try jsonDecoder.decode(SymbolGraph.self, from: try Data(contentsOf: graphURL))
+
+            // "Inject" generic constraints
+            graph.symbols = try graph.symbols.mapValues({ symbol -> SymbolGraph.Symbol in
+                guard symbol.identifier.precise == "s:5MyKit0A5ClassC10myFunctionyyF" else { return symbol }
+                var symbol = symbol
+                symbol.mixins[SymbolGraph.Symbol.Swift.Extension.mixinKey] = try jsonDecoder.decode(SymbolGraph.Symbol.Swift.Extension.self, from: """
+                {"extendedModule": "MyKit",
+                 "constraints": [
+                    { "kind" : "sameShape", "lhs" : "Element", "rhs" : "MyProtocol" }
+                ]}
+                """.data(using: .utf8)!)
+                return symbol
+            })
+            try jsonEncoder.encode(graph).write(to: graphURL)
+        }
+
+        // Compile docs and verify contents
+        let node = try context.entity(with: ResolvedTopicReference(bundleID: bundle.id, path: "/documentation/MyKit/MyClass", sourceLanguage: .swift))
+        let symbol = node.semantic as! Symbol
+        var translator = RenderNodeTranslator(context: context, bundle: bundle, identifier: node.reference)
+        let renderNode = translator.visitSymbol(symbol) as! RenderNode
+
+        guard let renderReference = renderNode.references.first(where: { (key, value) -> Bool in
+            return key.hasSuffix("myFunction()")
+        })?.value as? TopicRenderReference else {
+            XCTFail("Did not find render reference to myFunction()")
+            return
+        }
+
+        XCTAssertEqual(renderReference.conformance?.constraints.map(flattenInlineElements).joined(), "Element is the same shape as MyProtocol.")
+    }
 }
 
 fileprivate func flattenInlineElements(el: RenderInlineContent) -> String {