// RUN: %empty-directory(%t)

// RUN: %target-swift-ide-test(mock-sdk: %clang-importer-sdk) -print-module -print-implicit-attrs -source-filename %s -module-to-print=EffectfulProperties -function-definitions=false -enable-experimental-feature SendableCompletionHandlers > %t/EffectfulProperties.printed.txt
// RUN: %FileCheck -input-file %t/EffectfulProperties.printed.txt %s

// REQUIRES: concurrency
// REQUIRES: objc_interop
// REQUIRES: swift_feature_SendableCompletionHandlers

// CHECK-LABEL: class EffProps : NSObject {
// CHECK:       @available(*, renamed: "getter:doggo()")
// CHECK-NEXT:  func getDogWithCompletion(_ completionHandler: @escaping @Sendable (NSObject) -> Void)
// CHECK:       var doggo: NSObject { get async }

// CHECK:       @available(*, renamed: "getter:catto()")
// CHECK-NEXT:  func obtainCat(_ completionHandler: @escaping @Sendable (NSObject?, (any Error)?) -> Void)
// CHECK-NEXT:  var catto: NSObject? { get async throws }

// CHECK:       @available(*, renamed: "getter:available()")
// CHECK-NEXT:  func checkAvailability(completionHandler: @escaping @Sendable (Bool) -> Void)
// CHECK-NEXT:  var available: Bool { get async }
// CHECK-NEXT:  @available(swift, obsoleted: 3, renamed: "checkAvailability(completionHandler:)")
// CHECK-NEXT:  func checkAvailabilityWithCompletionHandler(_ completionHandler: @escaping @Sendable (Bool) -> Void)

// CHECK:       @available(*, renamed: "getter:touch()")
// CHECK-NEXT:  func returnNothing(completion completionHandler: @escaping @Sendable () -> Void)
// CHECK-NEXT:  var touch: Void { get async }
// CHECK-NEXT:  @available(swift, obsoleted: 3, renamed: "returnNothing(completion:)")
// CHECK-NEXT:  func returnNothingWithCompletion(_ completionHandler: @escaping @Sendable () -> Void)

// CHECK:       @available(*, renamed: "getter:fromNullableHandler()")
// CHECK-NEXT:  func nullableHandler(_ completion: (@Sendable (String) -> Void)? = nil)
// CHECK-NEXT:  var fromNullableHandler: String { get async }

// CHECK:       @available(*, renamed: "getter:mainDogProp()")
// CHECK-NEXT:  func getMainDog(_ completion: @escaping @MainActor @Sendable (String) -> Void)
// CHECK-NEXT:  var mainDogProp: String { get async }

// CHECK:       @available(*, renamed: "regularMainDog()")
// CHECK-NEXT:  func regularMainDog(_ completion: @escaping @MainActor @Sendable (String) -> Void)
// CHECK-NEXT:  @discardableResult
// CHECK-NEXT:  func regularMainDog() async -> String
// CHECK: }

// CHECK-LABEL: class NotEffProps : NSObject {
// CHECK-NOT: var
// CHECK: func EffPropGetDogWithCompletion(_ s: OpaquePointer, _ myBlock: @escaping (NSObject) -> Void) -> Double