Merge pull request #71107 from kavon/test-coverage-computedproperty

test: ~Copyable and computed properties

Author: kavon

test/SILOptimizer/moveonly_correct.swift

@@ -13,4 +13,14 @@ struct VM: ~Copyable {
     mutating func run() {
         env.constants
     }
+}
+
+// rdar://109232806
+public protocol P_109232806 {}
+public struct M_109232806: ~Copyable {
+  var x: P_109232806? = nil
+  var y: Int { 0 }
+}
+public func test_109232806(m: borrowing M_109232806) {
+  _ = m.y
 }