Test: add coverage for borrowing get

resolves rdar://132915515

Author: kavon

test/Interpreter/moveonly.swift

@@ -1,9 +1,10 @@
-// RUN: %target-run-simple-swift(-Xfrontend -sil-verify-all)
-// RUN: %target-run-simple-swift(-O -Xfrontend -sil-verify-all)
+// RUN: %target-run-simple-swift(-Xfrontend -sil-verify-all) | %FileCheck %s
+// RUN: %target-run-simple-swift(-O -Xfrontend -sil-verify-all) | %FileCheck %s
 
 // REQUIRES: executable_test
 
 import StdlibUnittest
+import Foundation
 
 defer { runAllTests() }
 
@@ -155,3 +156,25 @@ Tests.test("global borrowing access") {
   expectEqual(HasStatic.b.y.data, 121)
 }
 
+// coverage for rdar://132915515
+// CHECK-LABEL: borrowing get on copyable type
+Tests.test("borrowing get on copyable type") {
+    struct Loaner {
+      let value: UUID
+      var property: UUID { borrowing get { value }}
+      borrowing func method() -> UUID { value }
+    }
+
+    func printLoanedValue(_ loaner: borrowing Loaner) {
+      // CHECK: UUID = [[UUID_VAL:.*]]
+      print("UUID = \(loaner.property)")
+
+      // CHECK: UUID = [[UUID_VAL]]
+      print("UUID = \(loaner.method())")
+    }
+
+    do {
+      let l = Loaner(value: UUID())
+      printLoanedValue(l)
+    }
+}