Merge pull request #80869 from nate-chandler/cherrypick/release/6.2/rdar149385088

6.2: [CoroutineAccessors] Infer same lifetime dependencies for read as _read.

Author: nate-chandler

lib/AST/LifetimeDependence.cpp

@@ -1100,7 +1100,8 @@ class LifetimeDependenceChecker {
     }
     switch (accessor->getAccessorKind()) {
     case AccessorKind::Read:
-      // An implicit _read accessor is generated when a mutating getter is
+    case AccessorKind::Read2:
+      // An implicit _read/read accessor is generated when a mutating getter is
       // declared. Emit the same lifetime dependencies as an implicit _modify.
     case AccessorKind::Modify:
     case AccessorKind::Modify2:

validation-test/Sema/rdar149385088.swift

@@ -0,0 +1,24 @@
+// RUN: %target-typecheck-verify-swift \
+// RUN:   -enable-experimental-feature LifetimeDependence \
+// RUN:   -enable-experimental-feature CoroutineAccessors
+
+// REQUIRES: swift_feature_LifetimeDependence
+// REQUIRES: swift_feature_CoroutineAccessors
+
+struct NE<T : ~Copyable & ~Escapable> : ~Copyable & ~Escapable {
+  @lifetime(&t)
+  init(
+    t: inout T
+  )
+  {
+  }
+}
+
+struct S : ~Copyable & ~Escapable {
+  var mutableBytes: NE<S> {
+    @lifetime(&self)
+    mutating get {
+      return NE(t: &self)
+    }
+  }
+}