mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
0d519a1acb
This matches send non sendable but importantly also makes it clear that we are
talking about something that doesn't conform to the Sendable protocol which is
capitalized.
rdar://151802975
(cherry picked from commit 3ed4059a60)
62 lines
3.9 KiB
Swift
62 lines
3.9 KiB
Swift
// RUN: %target-swift-frontend -disable-objc-attr-requires-foundation-module -typecheck -verify -verify-ignore-unknown %s -swift-version 5 -enable-source-import -I %S/Inputs -disable-availability-checking -strict-concurrency=complete
|
|
// RUN: %target-swift-ide-test -skip-deinit=false -print-ast-typechecked -source-filename %s -function-definitions=true -prefer-type-repr=false -print-implicit-attrs=true -explode-pattern-binding-decls=true -disable-objc-attr-requires-foundation-module -swift-version 5 -enable-source-import -I %S/Inputs | %FileCheck %s
|
|
// RUN: not %target-swift-frontend -typecheck -dump-ast -disable-objc-attr-requires-foundation-module %s -swift-version 5 -enable-source-import -I %S/Inputs -disable-availability-checking -strict-concurrency=complete > %t.ast
|
|
// RUN: %FileCheck -check-prefix CHECK-DUMP %s < %t.ast
|
|
// REQUIRES: objc_interop
|
|
// REQUIRES: concurrency
|
|
import Foundation
|
|
|
|
// CHECK: class MyClass
|
|
class MyClass {
|
|
// CHECK: @objc func doBigJobClass() async -> Int
|
|
// CHECK-DUMP-LABEL: func_decl{{.*}}doBigJobClass{{.*}}
|
|
// CHECK-DUMP: (foreign_async_convention completion_handler_type="@convention(block) (Int) -> ()" completion_handler_param=0)
|
|
@objc func doBigJobClass() async -> Int { return 0 }
|
|
|
|
// CHECK: @objc func doBigJobOrFailClass(_: Int) async throws -> (AnyObject, Int)
|
|
// CHECK-DUMP-LABEL: func_decl{{.*}}doBigJobOrFailClass{{.*}}
|
|
// CHECK-DUMP: (foreign_async_convention completion_handler_type="@convention(block) (Optional<AnyObject>, Int, Optional<any Error>) -> ()" completion_handler_param=1 error_param=2)
|
|
@objc func doBigJobOrFailClass(_: Int) async throws -> (AnyObject, Int) { return (self, 0) }
|
|
|
|
@objc func takeAnAsync(_ fn: () async -> Int) { } // expected-error{{method cannot be marked '@objc' because the type of the parameter cannot be represented in Objective-C}}
|
|
// expected-note@-1{{'async' function types cannot be represented in Objective-C}}
|
|
|
|
@objc class func createAsynchronously() async -> Self? { nil }
|
|
// expected-error@-1{{asynchronous method returning 'Self' cannot be '@objc'}}
|
|
}
|
|
|
|
// actor exporting Objective-C entry points.
|
|
|
|
// CHECK: actor MyActor
|
|
actor MyActor {
|
|
// CHECK: @objc func doBigJobActor() async -> Int
|
|
// CHECK-DUMP-LABEL: func_decl{{.*}}doBigJobActor{{.*}}
|
|
// CHECK-DUMP: (foreign_async_convention completion_handler_type="@convention(block) (Int) -> ()" completion_handler_param=0)
|
|
@objc func doBigJobActor() async -> Int { return 0 }
|
|
|
|
// CHECK: @objc func doBigJobOrFailActor(_: Int) async throws -> (AnyObject, Int)
|
|
// CHECK-DUMP-LABEL: func_decl{{.*}}doBigJobOrFailActor{{.*}}
|
|
// CHECK-DUMP: (foreign_async_convention completion_handler_type="@convention(block) (Optional<AnyObject>, Int, Optional<any Error>) -> ()" completion_handler_param=1 error_param=2)
|
|
@objc func doBigJobOrFailActor(_: Int) async throws -> (AnyObject, Int) { return (self, 0) }
|
|
// expected-warning@-1{{non-Sendable type '(AnyObject, Int)' returned by actor-isolated '@objc' instance method 'doBigJobOrFailActor' cannot cross actor boundary}}
|
|
|
|
// Actor-isolated entities cannot be exposed to Objective-C.
|
|
@objc func synchronousBad() { } // expected-error{{actor-isolated instance method 'synchronousBad()' cannot be '@objc'}}
|
|
// expected-note@-1{{add 'async' to function 'synchronousBad()' to make it asynchronous}} {{30-30= async}}
|
|
|
|
@objc var badProp: AnyObject { self } // expected-error{{actor-isolated property 'badProp' cannot be '@objc'}}
|
|
@objc subscript(index: Int) -> AnyObject { self } // expected-error{{actor-isolated subscript 'subscript(_:)' cannot be '@objc'}}
|
|
|
|
// CHECK: @objc nonisolated func synchronousGood()
|
|
@objc nonisolated func synchronousGood() { }
|
|
}
|
|
|
|
actor class MyActor2 { }
|
|
// expected-error@-1 {{keyword 'class' cannot be used as an identifier here}}
|
|
|
|
// CHECK: @objc actor MyObjCActor
|
|
@objc actor MyObjCActor: NSObject { }
|
|
|
|
@objc actor class MyObjCActor2: NSObject {}
|
|
// expected-error@-1 {{keyword 'class' cannot be used as an identifier here}}
|