Add tests for rdar://98018067

Author: kavon

test/SILGen/Inputs/objc_preconcurrency.h

@@ -0,0 +1,9 @@
+@import Foundation;
+
+#define SENDABLE __attribute__((__swift_attr__("@Sendable")))
+
+SENDABLE
+@interface NSTouchGrass : NSObject
+@property (nullable, copy) void (SENDABLE ^cancellationHandler)(void);
+@property (nonnull, copy) void (SENDABLE ^exceptionHandler)(void);
+@end

test/SILGen/objc_preconcurrency.swift

@@ -1,9 +1,10 @@
-// RUN: %target-swift-emit-silgen -module-name objc_preconcurrency -sdk %S/Inputs -I %S/Inputs -enable-source-import %s -disable-objc-attr-requires-foundation-module | %FileCheck %s
+// RUN: %target-swift-emit-silgen -module-name objc_preconcurrency -sdk %S/Inputs -I %S/Inputs -enable-source-import -import-objc-header %S/Inputs/objc_preconcurrency.h %s -disable-objc-attr-requires-foundation-module | %FileCheck %s
 
 // REQUIRES: objc_interop
 
 @objc protocol P {
   @preconcurrency @objc optional func f(_ completionHandler: @Sendable @escaping () -> Void)
+  @preconcurrency var sendyHandler: @Sendable () -> Void { get set }
 }
 
 // CHECK-LABEL: sil hidden [ossa] @$s19objc_preconcurrency19testDynamicDispatch1p17completionHandleryAA1P_p_yyctF
@@ -16,3 +17,29 @@ func testDynamicDispatch(p: P, completionHandler: @escaping () -> Void) {
   // CHECK: bb{{[0-9]+}}(%{{[0-9]+}} : $@convention(objc_method) (@convention(block) @Sendable () -> (), @opened
   let _ = p.f
 }
+
+// CHECK-LABEL: sil hidden [ossa] @$s19objc_preconcurrency21testOptionalVarAccessyySo12NSTouchGrassCF
+// CHECK:         unchecked_addr_cast {{.*}} : $*Optional<@Sendable @callee_guaranteed () -> ()> to $*Optional<@callee_guaranteed () -> ()>
+// CHECK:       } // end sil function '$s19objc_preconcurrency21testOptionalVarAccessyySo12NSTouchGrassCF'
+func testOptionalVarAccess(_ grass: NSTouchGrass) {
+  grass.cancellationHandler?()
+}
+
+func modify(_ v: inout () -> Void) {
+  v = {}
+}
+
+// CHECK-LABEL: sil hidden [ossa] @$s19objc_preconcurrency15testInoutAccessyySo12NSTouchGrassCF
+// CHECK:         unchecked_addr_cast {{.*}} : $*@Sendable @callee_guaranteed () -> () to $*@callee_guaranteed () -> ()
+// CHECK:       } // end sil function '$s19objc_preconcurrency15testInoutAccessyySo12NSTouchGrassCF'
+func testInoutAccess(_ grass: NSTouchGrass) {
+  modify(&grass.exceptionHandler)
+}
+
+
+// CHECK-LABEL: sil hidden [ossa] @$s19objc_preconcurrency21testProtocolVarAccess1pyAA1P_p_tF
+// CHECK:         unchecked_addr_cast {{.*}} : $*@Sendable @callee_guaranteed () -> () to $*@callee_guaranteed () -> ()
+// CHECK:       } // end sil function '$s19objc_preconcurrency21testProtocolVarAccess1pyAA1P_p_tF'
+func testProtocolVarAccess(p: P) {
+  modify(&p.sendyHandler)
+}