Merge pull request #40 from ordo-one/repro-rt-crash

[sc-22398] reproduce swift rt crash

Author: blindspotbounty

swift/swift-62-runtime-crash/Package.swift

@@ -0,0 +1,26 @@
+// swift-tools-version: 6.2
+// The swift-tools-version declares the minimum version of Swift required to build this package.
+
+import PackageDescription
+
+let package = Package(
+    name: "swift-62-runtime-crash",
+    platforms: [
+        .macOS(.v26)
+    ],
+    targets: [
+        // Targets are the basic building blocks of a package, defining a module or a test suite.
+        // Targets can depend on other targets in this package and products from dependencies.
+        .target(
+            name: "base"
+        ),
+        .target(
+            name: "impl",
+            dependencies: ["base"]
+        ),
+        .executableTarget(
+            name: "swift-62-runtime-crash",
+            dependencies: ["base", "impl"]
+        )
+    ]
+)

swift/swift-62-runtime-crash/Sources/base/protocols.swift

@@ -0,0 +1,22 @@
+import Foundation
+
+public protocol Marker1: Sendable {}
+public protocol Marker2: Sendable {}
+
+public protocol Base<Object, ObjectEntry>: Sendable {
+    associatedtype Object: Marker1 & Marker2 & Identifiable
+    associatedtype ObjectEntry: Identifiable<Object.ID>
+
+    var predicate: Predicate<Self.Object> { get }
+}
+
+public protocol Proto1<Object>: Base where Object == ObjectEntry {
+}
+
+public struct TestIdentifiable: Identifiable, Marker2, Marker1, Sendable {
+    public let id: String
+
+    init(id: String) {
+        self.id = id
+    }
+}

swift/swift-62-runtime-crash/Sources/impl/impl.swift

@@ -0,0 +1,32 @@
+import base
+import Foundation
+import Synchronization
+
+private class CacheInstanceBase<Object: Identifiable>: @unchecked Sendable {
+    let predicate: Predicate<Object>?
+
+    init(predicate: Predicate<Object>) {
+        self.predicate = predicate
+    }
+}
+
+private final class Impl<Object: Marker1 & Marker2 & Identifiable & Sendable>: Proto1 where Object.ID: Sendable & Hashable {
+    typealias ObjectEntry = Object
+    private struct State: Sendable {
+        var predicate: Predicate<Object>?
+        var instance: CacheInstanceBase<Object>?
+        var array: [Object.ID: Object] = [:]
+    }
+
+    private let state: Mutex<State>
+
+    init(predicate: Predicate<Object>) {
+        state = .init(.init(predicate: predicate, instance: .init(predicate: predicate)))
+    }
+
+    var predicate: Predicate<Object> { state.withLock { $0.instance?.predicate ?? $0.predicate ?? .true } }
+}
+
+public func make<Object: Marker1 & Marker2 & Identifiable & Sendable>(predicate: Predicate<Object>) -> any Proto1<Object> where Object.ID: Sendable & Hashable {
+    return Impl<Object>(predicate: predicate)
+}

swift/swift-62-runtime-crash/Sources/swift-62-runtime-crash/main.swift

@@ -0,0 +1,14 @@
+import Foundation
+import Synchronization
+import base
+import impl
+
+
+let predicate = #Predicate<TestIdentifiable> {
+    $0.id == "test"
+}
+
+let cache = make(predicate: predicate)
+
+print(cache.predicate)
+