Merge pull request #74211 from nate-chandler/rdar129010265

[Test] Add regression test.

Author: nate-chandler

validation-test/SILGen/rdar129010265.swift

@@ -0,0 +1,34 @@
+// RUN: %target-swift-emit-silgen %s | %FileCheck %s
+// RUN: %target-swift-emit-sil %s -verify
+
+protocol Summable_2: ~Copyable {
+  static var zero: Self { get }
+}
+
+struct NCInt_2: ~Copyable, Summable_2 {
+  var rawValue: Int
+
+  static var zero: Self {
+    .init(rawValue: 0)
+  }
+}
+
+// CHECK-LABEL: sil {{.*}} [ossa] @$s13rdar1290102657NCInt_2VAA10Summable_2A2aDP4zeroxvrZTW : {{.*}} {
+// CHECK:         [[METATYPE:%[^,]+]] = metatype $@thin NCInt_2.Type
+// CHECK:         [[IMPL:%[^,]+]] = function_ref @$s13rdar1290102657NCInt_2V4zeroACvrZ
+// CHECK:         ([[ZERO:%[^,]+]], [[TOKEN:%[^,]+]]) = begin_apply [[IMPL]]([[METATYPE]])
+// CHECK:         [[ALLOC:%[^,]+]] = alloc_stack $NCInt_2
+// CHECK:         [[MARK:%[^,]+]] = mark_unresolved_non_copyable_value [consumable_and_assignable] [[ALLOC]]
+// CHECK:         [[ADDR:%[^,]+]] = store_borrow [[ZERO]] to [[MARK]]
+// CHECK:         yield [[ADDR:%[^,]+]]
+// CHECK:             resume [[RESUME:bb[0-9]+]]
+// CHECK:             unwind [[UNWIND:bb[0-9]+]]
+// CHECK:       [[RESUME]]:
+// CHECK:         end_borrow [[ADDR]]
+// CHECK:         dealloc_stack [[ALLOC]]
+// CHECK:         end_apply [[TOKEN]] as $()
+// CHECK:       [[UNWIND]]:
+// CHECK:         end_borrow [[ADDR]]
+// CHECK:         dealloc_stack [[ALLOC]]
+// CHECK:         abort_apply [[TOKEN]]
+// CHECK-LABEL: } // end sil function '$s13rdar1290102657NCInt_2VAA10Summable_2A2aDP4zeroxvrZTW'