mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
28f96e64ab
If you use SwiftStdlibCurrentOS availability, you will be able to use new types and functions from within the implementation. This works by, when appropriate, building with the CurrentOS availability set to the current deployment target. rdar://150944675
78 lines
3.1 KiB
Swift
78 lines
3.1 KiB
Swift
// RUN: %target-swift-frontend -enable-experimental-move-only %s -emit-sil -o /dev/null -verify
|
|
// RUN: %target-swift-frontend -enable-experimental-move-only %s -emit-sil -o /dev/null -verify -strict-concurrency=targeted
|
|
// RUN: %target-swift-frontend -enable-experimental-move-only %s -emit-sil -o /dev/null -verify -strict-concurrency=complete
|
|
// RUN: %target-swift-frontend -enable-experimental-move-only %s -emit-sil -o /dev/null -verify -strict-concurrency=complete -enable-upcoming-feature RegionBasedIsolation
|
|
|
|
// REQUIRES: concurrency
|
|
// REQUIRES: OS=macosx
|
|
// REQUIRES: swift_feature_RegionBasedIsolation
|
|
|
|
// rdar://106849189 move-only types should be supported in freestanding mode
|
|
// UNSUPPORTED: freestanding
|
|
|
|
/// Such a type may be encountered since Swift 5.5 (5.1 backdeployed) if someone implemented the
|
|
/// not documented, but public Executor types back then already. Allow these to be implemented
|
|
/// without warnings.
|
|
@available(SwiftStdlib 5.1, *)
|
|
final class OldExecutorOldStdlib: SerialExecutor {
|
|
func enqueue(_ job: UnownedJob) {}
|
|
|
|
func asUnownedSerialExecutor() -> UnownedSerialExecutor {
|
|
UnownedSerialExecutor(ordinary: self)
|
|
}
|
|
}
|
|
|
|
/// We warn on the ExecutorJob witness if the type has a broader
|
|
/// availability, since in this case the UnownedJob version needs to exist.
|
|
@available(SwiftStdlib 5.1, *)
|
|
final class BothExecutorOldStdlib: SerialExecutor {
|
|
func enqueue(_ job: UnownedJob) {}
|
|
|
|
// This no longer warns, because of the use of SwiftStdlibCurrentOS in the
|
|
// runtime.
|
|
@available(SwiftStdlib 5.9, *)
|
|
func enqueue(_ job: __owned ExecutorJob) {}
|
|
|
|
func asUnownedSerialExecutor() -> UnownedSerialExecutor {
|
|
UnownedSerialExecutor(ordinary: self)
|
|
}
|
|
}
|
|
|
|
/// Meanwhile, we warn on the UnownedJob overload if the availability is new enough
|
|
/// that it can be dropped.
|
|
@available(SwiftStdlib 5.9, *)
|
|
final class BothExecutorNewStdlib: SerialExecutor {
|
|
func enqueue(_ job: UnownedJob) {} // no warning, we're not deprecating the UnownedJob enqueue method yet
|
|
|
|
func enqueue(_ job: __owned ExecutorJob) {}
|
|
|
|
func asUnownedSerialExecutor() -> UnownedSerialExecutor {
|
|
UnownedSerialExecutor(ordinary: self)
|
|
}
|
|
}
|
|
|
|
@available(SwiftStdlib 5.9, *)
|
|
final class TripleExecutor: SerialExecutor {
|
|
func enqueue(_ job: UnownedJob) {} // no warning, we're not deprecating the UnownedJob enqueue method yet
|
|
|
|
// expected-warning@+2{{'Job' is deprecated: renamed to 'ExecutorJob'}}
|
|
// expected-note@+1{{use 'ExecutorJob' instead}}
|
|
func enqueue(_ job: __owned Job) {} // expected-warning{{'Executor.enqueue(Job)' is deprecated as a protocol requirement; conform type 'TripleExecutor' to 'Executor' by implementing 'func enqueue(ExecutorJob)' instead}}{{documentation-file=deprecated-declaration}}
|
|
|
|
func enqueue(_ job: consuming ExecutorJob) {}
|
|
|
|
func asUnownedSerialExecutor() -> UnownedSerialExecutor {
|
|
UnownedSerialExecutor(ordinary: self)
|
|
}
|
|
}
|
|
|
|
/// Implementing the new signature on 5.9 platforms is good, no warnings
|
|
@available(SwiftStdlib 5.9, *)
|
|
final class NewExecutorNewStdlib: SerialExecutor {
|
|
func enqueue(_ job: __owned ExecutorJob) {}
|
|
|
|
func asUnownedSerialExecutor() -> UnownedSerialExecutor {
|
|
UnownedSerialExecutor(ordinary: self)
|
|
}
|
|
}
|