Merge pull request swiftlang#74343 from nate-chandler/gh73525

[Test] Add regression test.

Author: nate-chandler

test/SILOptimizer/noimplicitcopy_existentials.swift

@@ -0,0 +1,26 @@
+// RUN: %target-swift-frontend \
+// RUN:     -emit-sil -verify  \
+// RUN:     %s                 \
+// RUN:     -sil-verify-all
+
+////////////////////////////////////////////////////////////////////////////////
+// https://github.com/apple/swift/issues/73525                                {{
+////////////////////////////////////////////////////////////////////////////////
+protocol K {
+    var a: Int { get }
+}
+
+protocol B {
+    init(k: any K)
+}
+
+struct A: B {
+    let a: Int
+    
+    init(k: borrowing K) {
+        self.a = k.a
+    }
+}
+////////////////////////////////////////////////////////////////////////////////
+// https://github.com/apple/swift/issues/73525                                }}
+////////////////////////////////////////////////////////////////////////////////