Two regression tests

validation-test/compiler_crashers_2_fixed/sr12473.swift

@@ -0,0 +1,54 @@
+// RUN: %target-swift-frontend -emit-ir %s
+
+protocol Dismissable {
+    func dismiss(completion: @escaping () -> Void)
+}
+
+typealias Completion = (Dismissable?) -> Void
+
+protocol Cancelable: AnyObject {
+    func cancel()
+}
+
+protocol Controller {
+    func asyncThing(completion: @escaping ((_ error: Error) -> Void)) -> Cancelable
+}
+
+public struct Message: Equatable {
+    public static let `default` = Message()
+
+    public init() {
+    }
+
+    public init(error: Error) {
+        self = .default
+    }
+}
+
+struct PresentAlert {
+    let message: Message
+}
+
+class Manager {
+    private let controller: Controller
+
+    init(controller: Controller) {
+        self.controller = controller
+    }
+
+    func present() {
+        let _: Completion = { (dismissable: Dismissable?) in
+            dismissable?.dismiss { [weak self] in
+                guard let sself = self else { return }
+
+                sself.controller.asyncThing { error in
+                    let backupMessage = Message()
+                    let mainMessage = Message(error: error)
+                    let finalMessage = mainMessage != Message.default ? mainMessage : backupMessage
+
+                    _ = PresentAlert(message: finalMessage)
+                }.cancel()
+            }
+        }
+    }
+}

validation-test/compiler_crashers_2_fixed/sr13727.swift

@@ -0,0 +1,13 @@
+// RUN: %target-swift-frontend -emit-ir %s
+
+protocol Projection {
+  associatedtype Root
+  associatedtype Path: PartialKeyPath<Root>
+  static var path: Path { get }
+}
+
+struct ProjectKey<Key, Value>: Projection {
+  typealias Root = (Key, Value)
+  typealias Path = KeyPath<(Key, Value), Key>
+  static var path: KeyPath<(Key, Value), Key> { \.0 }
+}