// RUN: %target-typecheck-verify-swift

// REQUIRES: concurrency


@available(*, noasync)
func basicNoAsync() { }

@available(*, noasync, message: "a message from the author")
func messageNoAsync() { }

@available(*, noasync, renamed: "asyncReplacement()")
func renamedNoAsync(_ completion: @escaping (Int) -> Void) -> Void { }

@available(SwiftStdlib 5.5, *)
func asyncReplacement() async -> Int { }

@available(*, noasync, renamed: "IOActor.readString()")
func readStringFromIO() -> String {}

// expected-warning@+1 {{'noasync' cannot be used in '@available' attribute for Swift}}
@available(swift, noasync)
func swiftNoAsync() { }

// expected-warning@+1 {{'noasync' cannot be used in '@available' attribute for PackageDescription}}
@available(_PackageDescription, noasync)
func packageDescriptionNoAsync() { }

@available(SwiftStdlib 5.5, *)
actor IOActor {
    func readString() -> String {
        return readStringFromIO()
    }
}

@available(SwiftStdlib 5.5, *)
func asyncFunc() async {
    // expected-warning@+1{{global function 'basicNoAsync' is unavailable from asynchronous contexts; this is an error in the Swift 6 language mode}}
    basicNoAsync()

    // expected-warning@+1{{global function 'messageNoAsync' is unavailable from asynchronous contexts; a message from the author; this is an error in the Swift 6 language mode}}
    messageNoAsync()

    // expected-warning@+1{{global function 'renamedNoAsync' is unavailable from asynchronous contexts; this is an error in the Swift 6 language mode}}{{5-19=asyncReplacement}}
    renamedNoAsync() { _ in }

    // expected-warning@+1{{global function 'readStringFromIO' is unavailable from asynchronous contexts; this is an error in the Swift 6 language mode}}{{13-29=IOActor.readString}}
    let _ = readStringFromIO()
}

// expected-error@+3{{asynchronous global function 'unavailableAsyncFunc()' must be available from asynchronous contexts}}
@available(SwiftStdlib 5.5, *)
@available(*, noasync)
func unavailableAsyncFunc() async {
}

do {
  struct S {
    @available(*, noasync)
    subscript(_: Int) -> Int {
      get async {}
      // expected-error@+1 {{'set' accessor is not allowed on property with 'get' accessor that is 'async' or 'throws'}}
      set {}
    }
  }
}

@available(SwiftStdlib 5.5, *)
protocol BadSyncable {
    // expected-error@+2{{asynchronous property 'isSyncd' must be available from asynchronous contexts}}
    @available(*, noasync)
    var isSyncd: Bool { get async }

    // expected-error@+2{{asynchronous instance method 'sync' must be available from asynchronous contexts}}
    @available(*, noasync)
    func sync(_ str: String) async
}

class TestClass {
    // expected-error@+2{{'@available' attribute cannot be applied to this declaration}}
    @available(*, noasync)
    deinit { }
}

@available(SwiftStdlib 5.5, *)
func test_defers_sync() {
    defer {
        defer { basicNoAsync() }
        basicNoAsync()
    }

    func local_sync_func() {
        defer { basicNoAsync() }
        _ = ()
    }

    func local_async_func() async {
        // expected-warning@+1{{global function 'basicNoAsync' is unavailable from asynchronous contexts; this is an error in the Swift 6 language mode}}
        defer { basicNoAsync() }
        _ = ()
    }

    let local_sync_closure = { () -> Void in
        defer { basicNoAsync() }
        _ = ()
    }
    _ = local_sync_closure

    // local async closure
    let local_async_closure = { () async -> Void in
        // expected-warning@+1{{global function 'basicNoAsync' is unavailable from asynchronous contexts; this is an error in the Swift 6 language mode}}
        defer { basicNoAsync() }
        _ = ()
    }
    _ = local_async_closure

    var local_sync_var: Void {
        defer { basicNoAsync() }
        return ()
    }

    var local_async_var: Void {
        get async {
            // expected-warning@+1{{global function 'basicNoAsync' is unavailable from asynchronous contexts; this is an error in the Swift 6 language mode}}
            defer { basicNoAsync() }
            return ()
        }
    }
}

@available(SwiftStdlib 5.5, *)
func test_defer_async() async {
    defer {
        // expected-warning@+1{{global function 'basicNoAsync' is unavailable from asynchronous contexts; this is an error in the Swift 6 language mode}}
        defer { basicNoAsync() }
        // expected-warning@+1{{global function 'basicNoAsync' is unavailable from asynchronous contexts; this is an error in the Swift 6 language mode}}
        basicNoAsync()
    }

    func local_sync_func() {
        defer { basicNoAsync() }
        _ = ()
    }

    func local_async_func() async {
        // expected-warning@+1{{global function 'basicNoAsync' is unavailable from asynchronous contexts; this is an error in the Swift 6 language mode}}
        defer { basicNoAsync() }
        _ = ()
    }

    let local_sync_closure = { () -> Void in
        defer { basicNoAsync() }
        _ = ()
    }
    _ = local_sync_closure

    let local_async_closure = { () async -> Void in
        // expected-warning@+1{{global function 'basicNoAsync' is unavailable from asynchronous contexts; this is an error in the Swift 6 language mode}}
        defer { basicNoAsync() }
        _ = ()
    }
    _ = local_async_closure

    var local_sync_var: Void {
        defer { basicNoAsync() }
        return ()
    }

    var local_async_var: Void {
        get async {
            // expected-warning@+1{{global function 'basicNoAsync' is unavailable from asynchronous contexts; this is an error in the Swift 6 language mode}}
            defer { basicNoAsync() }
            return ()
        }
    }
}