Merge pull request #80156 from atrick/fix-interface

Fix lifetime inference with older .swiftinterface files.

Author: atrick

lib/AST/LifetimeDependence.cpp

@@ -334,7 +334,7 @@ class LifetimeDependenceChecker {
     // TODO: remove this check once all compilers that are rev-locked to the
     // stdlib print the 'copy' dependence kind in the interface (Aug '25)
     if (auto *sf = afd->getParentSourceFile()) {
-      if (sf->Kind == SourceFileKind::SIL) {
+      if (sf->Kind == SourceFileKind::Interface) {
         return true;
       }
     }
@@ -971,7 +971,7 @@ class LifetimeDependenceChecker {
 
   // Infer a mutating accessor's non-Escapable 'self' dependencies.
   void inferMutatingAccessor(AccessorDecl *accessor) {
-    if (!isImplicitOrSIL()) {
+    if (!isImplicitOrSIL() && !useLazyInference()) {
       // Explicit setters require explicit lifetime dependencies.
       return;
     }

test/SIL/Parser/lifetime_dependence.sil

@@ -18,7 +18,7 @@ struct BufferView : ~Escapable {
 @lifetime(borrow x) 
 func derive(_ x: borrowing BufferView) -> BufferView
 
-@lifetime(x) 
+@lifetime(copy x)
 func consumeAndCreate(_ x: consuming BufferView) -> BufferView
 
 sil hidden [unsafe_nonescapable_result] @bufferviewinit1 : $@convention(method) (UnsafeRawBufferPointer, @thin BufferView.Type) -> @owned BufferView {

test/Sema/lifetime_depend_infer.swift

@@ -1,8 +1,4 @@
-// RUN: %target-swift-frontend %s -emit-sil \
-// RUN:   -o /dev/null \
-// RUN:   -verify \
-// RUN:   -sil-verify-all \
-// RUN:   -module-name test \
+// RUN: %target-typecheck-verify-swift \
 // RUN:   -enable-experimental-feature LifetimeDependence
 
 // REQUIRES: swift_feature_LifetimeDependence
@@ -312,7 +308,9 @@ struct NonescapableSelfAccessors: ~Escapable {
   var ne: NE
 
   @lifetime(immortal)
-  init() {}
+  init() {
+    ne = NE()
+  }
 
   var neComputed: NE {
     get { // expected-error{{cannot infer the lifetime dependence scope on a method with a ~Escapable parameter, specify '@lifetime(borrow self)' or '@lifetime(copy self)'}}