// RUN: %target-swift-emit-module-interface(%t.swiftinterface) %s -module-name execution_attr -enable-experimental-feature ExecutionAttribute
// RUN: %target-swift-typecheck-module-from-interface(%t.swiftinterface) -module-name execution_attr

// RUN: %FileCheck %s --input-file %t.swiftinterface

// REQUIRES: swift_feature_ExecutionAttribute

public struct Test {
  // CHECK:  #if compiler(>=5.3) && $ExecutionAttribute
  // CHECK-NEXT:  @execution(caller) public init() async
  // CHECK-NEXT:  #else
  // CHECK-NEXT:  public init() async
  // CHECK-NEXT:  #endif
  @execution(caller)
  public init() async {
  }

  // CHECK:  #if compiler(>=5.3) && $ExecutionAttribute
  // CHECK-NEXT:  @execution(concurrent) public func test() async
  // CHECK-NEXT:  #else
  // CHECK-NEXT:  public func test() async
  // CHECK-NEXT:  #endif
  @execution(concurrent)
  public func test() async {
  }

  // CHECK:  #if compiler(>=5.3) && $ExecutionAttribute
  // CHECK-NEXT:  public func other(_: @execution(caller) () async -> Swift.Void)
  // CHECK-NEXT:  #else
  // CHECK-NEXT:  public func other(_: () async -> Swift.Void)
  // CHECK-NEXT:  #endif
  public func other(_: @execution(caller) () async -> Void) {}

  // CHECK: #if compiler(>=5.3) && $ExecutionAttribute
  // CHECK-NEXT: public var test: Swift.Int {
  // CHECK-NEXT:   @execution(caller) get async
  // CHECK-NEXT: }
  // CHECK-NEXT: #else
  // CHECK-NEXT: public var test: Swift.Int {
  // CHECK-NEXT:   get async
  // CHECK-NEXT: }
  // CHECK-NEXT: #endif
  public var test: Int {
    @execution(caller)
    get async {
      42
    }
  }

  // CHECK: #if compiler(>=5.3) && $ExecutionAttribute
  // CHECK-NEXT: public subscript(x: Swift.Int) -> Swift.Bool {
  // CHECK-NEXT:   @execution(caller) get async
  // CHECK-NEXT: }
  // CHECK-NEXT: #else
  // CHECK-NEXT: public subscript(x: Swift.Int) -> Swift.Bool {
  // CHECK-NEXT:   get async
  // CHECK-NEXT: }
  // CHECK-NEXT: #endif
  public subscript(x: Int) -> Bool {
    @execution(caller)
    get async {
      false
    }
  }
}