Update tests for strict @Lifetime type checking

Author: atrick

test/ASTGen/attrs.swift

@@ -219,13 +219,13 @@ struct OpTest {
 
 struct E {}
 struct NE : ~Escapable {}
-@lifetime(ne) func derive(_ ne: NE) -> NE { ne }
-@lifetime(borrow ne1, ne2) func derive(_ ne1: NE, _ ne2: NE) -> NE {
+@lifetime(copy ne) func derive(_ ne: NE) -> NE { ne }
+@lifetime(borrow ne1, copy ne2) func derive(_ ne1: NE, _ ne2: NE) -> NE {
   if (Int.random(in: 1..<100) < 50) { return ne1 }
   return ne2
 }
 @lifetime(borrow borrow) func testNameConflict(_ borrow: E) -> NE { NE() }
-@lifetime(result: source) func testTarget(_ result: inout NE, _ source: consuming NE) { result = source }
+@lifetime(result: copy source) func testTarget(_ result: inout NE, _ source: consuming NE) { result = source }
 
 actor MyActor {
   nonisolated let constFlag: Bool = false

test/Generics/inverse_casting_availability.swift

@@ -1,6 +1,9 @@
 // RUN: %target-typecheck-verify-swift \
+// RUN:   -enable-experimental-feature LifetimeDependence  \
 // RUN:   -debug-diagnostic-names -target arm64-apple-macos14.4 
 
+// REQUIRES: swift_feature_LifetimeDependence
+
 // REQUIRES: OS=macosx || OS=ios || OS=tvos || OS=watchOS || OS=xros
 
 protocol P {}

test/Generics/inverse_conditional_conformance_copyable_and_escapable.swift

@@ -1,4 +1,8 @@
-// RUN: %target-swift-frontend -typecheck -verify %s
+// RUN: %target-swift-frontend \
+// RUN:   -enable-experimental-feature LifetimeDependence  \
+// RUN:   -typecheck -verify %s
+
+// REQUIRES: swift_feature_LifetimeDependence
 
 struct C_C1<T: ~Copyable>: ~Copyable {}
 extension C_C1: Copyable where T: Copyable {}

test/Generics/inverse_conditional_conformance_restriction.swift

@@ -1,6 +1,8 @@
 // RUN: %target-typecheck-verify-swift \ 
+// RUN:   -enable-experimental-feature LifetimeDependence  \
 // RUN:   -enable-experimental-feature SuppressedAssociatedTypes
 
+// REQUIRES: swift_feature_LifetimeDependence
 // REQUIRES: swift_feature_SuppressedAssociatedTypes
 
 protocol P {}

test/Generics/inverse_extension_signatures.swift

@@ -1,7 +1,9 @@
 // RUN: %target-swift-frontend \
+// RUN:   -enable-experimental-feature LifetimeDependence  \
 // RUN:   -verify -typecheck %s -debug-generic-signatures \
 // RUN:   -debug-inverse-requirements 2>&1 | %FileCheck %s --implicit-check-not "error:"
 
+// REQUIRES: swift_feature_LifetimeDependence
 
 // CHECK-LABEL: .Outer@
 // CHECK: Generic signature: <A where A : Escapable>

test/Generics/inverse_generics.swift

@@ -249,6 +249,7 @@ struct BuggerView<T: ~Copyable>: ~Escapable, Copyable {}
 
 struct MutableBuggerView<T: ~Copyable>: ~Copyable, ~Escapable {}
 
+@lifetime(mutRef: copy mutRef)
 func checkNominals(_ mutRef: inout MutableBuggerView<NC>,
                    _ ref: BuggerView<NC>,
                    _ intMutRef: borrowing MutableBuggerView<Int>,

test/Interop/C/swiftify-import/counted-by-noescape.swift

@@ -14,7 +14,7 @@ import CountedByNoEscapeClang
 // CHECK:      @_alwaysEmitIntoClient public func complexExpr(_ len: Int{{.*}}, _ offset: Int{{.*}}, _ p: MutableSpan<Int{{.*}}>)
 // CHECK-NEXT: @_alwaysEmitIntoClient public func nonnull(_  p: MutableSpan<Int{{.*}}>)
 // CHECK-NEXT: @_alwaysEmitIntoClient public func nullUnspecified(_  p: MutableSpan<Int{{.*}}>)
-// CHECK-NEXT: @lifetime(p)
+// CHECK-NEXT: @lifetime(copy p)
 // CHECK-NEXT: @_alwaysEmitIntoClient public func returnLifetimeBound(_ len1: Int32, _ p: MutableSpan<Int32>) -> MutableSpan<Int32>
 // CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func returnPointer(_  len: Int{{.*}}) -> UnsafeMutableBufferPointer<Int{{.*}}>
 // CHECK-NEXT: @_alwaysEmitIntoClient public func shared(_ len: Int{{.*}}, _ p1: MutableSpan<Int{{.*}}>, _ p2: MutableSpan<Int{{.*}}>)

test/Interop/Cxx/class/safe-interop-mode.swift

@@ -21,7 +21,7 @@ module Test {
 struct SWIFT_NONESCAPABLE View {
     __attribute__((swift_attr("@lifetime(immortal)")))
     View() : member(nullptr) {}
-    __attribute__((swift_attr("@lifetime(p)")))
+    __attribute__((swift_attr("@lifetime(copy p)")))
     View(const int *p [[clang::lifetimebound]]) : member(p) {}
     View(const View&) = default;
 private:

test/Interop/Cxx/stdlib/std-span-interface.swift

@@ -35,11 +35,11 @@ import CxxStdlib
 // CHECK-NEXT:   mutating func foo(_ s: std.{{.*}}span<__cxxConst<CInt>, _C{{.*}}_{{.*}}>)
 // CHECK-NEXT: }
 // CHECK: @_alwaysEmitIntoClient public func funcWithSafeWrapper(_ s: Span<CInt>)
-// CHECK-NEXT: @lifetime(s)
+// CHECK-NEXT: @lifetime(copy s)
 // CHECK-NEXT: @_alwaysEmitIntoClient public func funcWithSafeWrapper2(_ s: Span<CInt>) -> Span<CInt>
 // CHECK-NEXT: @lifetime(borrow v)
 // CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func funcWithSafeWrapper3(_ v: borrowing VecOfInt) -> Span<CInt>
-// CHECK-NEXT: @lifetime(p)
+// CHECK-NEXT: @lifetime(copy p)
 // CHECK-NEXT: @_alwaysEmitIntoClient public func mixedFuncWithSafeWrapper1(_ p: Span<Int32>) -> Span<CInt>
 // CHECK-NEXT: @lifetime(borrow v)
 // CHECK-NEXT: @_alwaysEmitIntoClient @_disfavoredOverload public func mixedFuncWithSafeWrapper2(_ v: borrowing VecOfInt, _ len: Int32) -> Span<Int32>

test/Macros/SwiftifyImport/CountedBy/PointerReturn.swift

@@ -28,7 +28,7 @@ func lifetimeDependentBorrow(_ p: borrowing UnsafePointer<CInt>, _ len1: CInt, _
 // CHECK-NEXT: func nonEscaping(_ len: CInt) -> UnsafeBufferPointer<CInt> {
 // CHECK-NEXT:     return unsafe UnsafeBufferPointer<CInt> (start: nonEscaping(len), count: Int(len))
 
-// CHECK:      @_alwaysEmitIntoClient @lifetime(p)
+// CHECK:      @_alwaysEmitIntoClient @lifetime(copy p)
 // CHECK-NEXT: func lifetimeDependentCopy(_ p: Span<CInt>, _ len2: CInt) -> Span<CInt> {
 // CHECK-NEXT:     return unsafe Span<CInt> (_unsafeStart:   p.withUnsafeBufferPointer { _pPtr in
 // CHECK-NEXT:         return unsafe lifetimeDependentCopy(_pPtr.baseAddress!, CInt(exactly: p.count)!, len2)