mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
5da4e2df40
In https://github.com/apple/swift/pull/63898 conformance requirement typechecking was relaxed to allow unavailable decls to witness conformance requirements as long as the conforming nominal was also unavailable. However, only nominals that were directly marked unavailable were accepted. Nominals that are declared in unavailable scopes should also be allowed to have unavailable wintesses. Resolves rdar://107052715
113 lines
5.3 KiB
Swift
113 lines
5.3 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-emit-module-interfaces(%t/Library.swiftinterface, %t/Library.private.swiftinterface) %s -module-name Library -target %target-swift-abi-5.3-triple
|
|
// RUN: %target-swift-typecheck-module-from-interface(%t/Library.swiftinterface) -module-name Library
|
|
// RUN: %target-swift-typecheck-module-from-interface(%t/Library.private.swiftinterface) -module-name Library
|
|
// RUN: %FileCheck %s --check-prefixes=CHECK,CHECK-PUBLIC < %t/Library.swiftinterface
|
|
// RUN: %FileCheck %s --check-prefixes=CHECK,CHECK-PRIVATE < %t/Library.private.swiftinterface
|
|
|
|
// REQUIRES: VENDOR=apple
|
|
|
|
// CHECK: #if compiler(>=5.3) && $Actors
|
|
// CHECK-NEXT: public actor ActorWithImplicitAvailability {
|
|
public actor ActorWithImplicitAvailability {
|
|
// CHECK: @available(iOS 13.0, tvOS 13.0, watchOS 6.0, macOS 10.15, *)
|
|
// CHECK-NEXT: @_semantics("defaultActor") nonisolated final public var unownedExecutor: _Concurrency.UnownedSerialExecutor {
|
|
// CHECK-NEXT: get
|
|
// CHECK-NEXT: }
|
|
}
|
|
// CHECK: #endif
|
|
|
|
// CHECK: #if compiler(>=5.3) && $Actors
|
|
// CHECK-NEXT: @available(macOS 10.15.4, iOS 13.4, watchOS 6.2, tvOS 13.4, *)
|
|
// CHECK-NEXT: public actor ActorWithExplicitAvailability {
|
|
@available(SwiftStdlib 5.2, *)
|
|
public actor ActorWithExplicitAvailability {
|
|
// CHECK: @available(iOS 13.4, tvOS 13.4, watchOS 6.2, macOS 10.15.4, *)
|
|
// CHECK-NEXT: @_semantics("defaultActor") nonisolated final public var unownedExecutor: _Concurrency.UnownedSerialExecutor {
|
|
// CHECK-NEXT: get
|
|
// CHECK-NEXT: }
|
|
}
|
|
// CHECK: #endif
|
|
|
|
// CHECK: #if compiler(>=5.3) && $Actors
|
|
// CHECK-NEXT: @_hasMissingDesignatedInitializers @available(macOS, unavailable)
|
|
// CHECK-NEXT: public actor UnavailableActor {
|
|
@available(macOS, unavailable)
|
|
public actor UnavailableActor {
|
|
// CHECK: @available(iOS 13.0, tvOS 13.0, watchOS 6.0, *)
|
|
// CHECK-NEXT: @available(macOS, unavailable, introduced: 10.15)
|
|
// CHECK-NEXT: @_semantics("defaultActor") nonisolated final public var unownedExecutor: _Concurrency.UnownedSerialExecutor {
|
|
// CHECK-NEXT: get
|
|
// CHECK-NEXT: }
|
|
}
|
|
// CHECK: #endif
|
|
|
|
// CHECK: @available(macOS 10.15.4, iOS 13.4, watchOS 6.2, tvOS 13.4, *)
|
|
// CHECK-NEXT: public enum Enum {
|
|
@available(SwiftStdlib 5.2, *)
|
|
public enum Enum {
|
|
// CHECK: #if compiler(>=5.3) && $Actors
|
|
// CHECK-NEXT: @_hasMissingDesignatedInitializers public actor NestedActor {
|
|
public actor NestedActor {
|
|
// CHECK: @available(iOS 13.4, tvOS 13.4, watchOS 6.2, macOS 10.15.4, *)
|
|
// CHECK-NEXT: @_semantics("defaultActor") nonisolated final public var unownedExecutor: _Concurrency.UnownedSerialExecutor {
|
|
// CHECK-NEXT: get
|
|
// CHECK-NEXT: }
|
|
}
|
|
// CHECK: #endif
|
|
}
|
|
|
|
// CHECK: extension Library.Enum {
|
|
extension Enum {
|
|
// CHECK: #if compiler(>=5.3) && $Actors
|
|
// CHECK-NEXT: @_hasMissingDesignatedInitializers public actor ExtensionNestedActor {
|
|
public actor ExtensionNestedActor {
|
|
// CHECK: @available(iOS 13.4, tvOS 13.4, watchOS 6.2, macOS 10.15.4, *)
|
|
// CHECK-NEXT: @_semantics("defaultActor") nonisolated final public var unownedExecutor: _Concurrency.UnownedSerialExecutor {
|
|
// CHECK-NEXT: get
|
|
// CHECK-NEXT: }
|
|
}
|
|
|
|
// CHECK: #if compiler(>=5.3) && $Actors
|
|
// CHECK-NEXT: @_hasMissingDesignatedInitializers @available(macOS, unavailable)
|
|
// CHECK-NEXT: public actor UnavailableExtensionNestedActor {
|
|
@available(macOS, unavailable)
|
|
public actor UnavailableExtensionNestedActor {
|
|
// CHECK: @available(iOS 13.4, tvOS 13.4, watchOS 6.2, *)
|
|
// CHECK-NEXT: @available(macOS, unavailable, introduced: 10.15.4)
|
|
// CHECK-NEXT: @_semantics("defaultActor") nonisolated final public var unownedExecutor: _Concurrency.UnownedSerialExecutor {
|
|
// CHECK-NEXT: get
|
|
// CHECK-NEXT: }
|
|
}
|
|
}
|
|
|
|
// CHECK-PUBLIC: @available(macOS, unavailable)
|
|
// CHECK-PUBLIC-NEXT: @available(iOS, unavailable)
|
|
// CHECK-PUBLIC-NEXT: @available(watchOS, unavailable)
|
|
// CHECK-PUBLIC-NEXT: @available(tvOS, unavailable)
|
|
// CHECK-PUBLIC-NEXT: public struct SPIAvailableStruct
|
|
// CHECK-PRIVATE: @_spi_available(macOS, introduced: 10.15.4)
|
|
// CHECK-PRIVATE-NEXT: @_spi_available(iOS, introduced: 13.4)
|
|
// CHECK-PRIVATE-NEXT: @_spi_available(watchOS, introduced: 6.2)
|
|
// CHECK-PRIVATE-NEXT: @_spi_available(tvOS, introduced: 13.4)
|
|
// CHECK-PRIVATE-NEXT: public struct SPIAvailableStruct
|
|
@_spi_available(SwiftStdlib 5.2, *)
|
|
public struct SPIAvailableStruct {
|
|
// CHECK: #if compiler(>=5.3) && $Actors
|
|
// CHECK-NEXT: @_hasMissingDesignatedInitializers @available(macOS, unavailable)
|
|
// CHECK-NEXT: public actor UnavailableNestedActor
|
|
@available(macOS, unavailable)
|
|
public actor UnavailableNestedActor {
|
|
// CHECK-PUBLIC: @available(iOS, unavailable)
|
|
// CHECK-PUBLIC-NEXT: @available(tvOS, unavailable)
|
|
// CHECK-PUBLIC-NEXT: @available(watchOS, unavailable)
|
|
// CHECK-PUBLIC-NEXT: @available(macOS, unavailable)
|
|
// CHECK-PUBLIC-NEXT: @_semantics("defaultActor") nonisolated final public var unownedExecutor: _Concurrency.UnownedSerialExecutor
|
|
// CHECK-PRIVATE: @_spi_available(iOS, introduced: 13.4)
|
|
// CHECK-PRIVATE-NEXT: @_spi_available(tvOS, introduced: 13.4)
|
|
// CHECK-PRIVATE-NEXT: @_spi_available(watchOS, introduced: 6.2)
|
|
// CHECK-PRIVATE-NEXT: @_spi_available(macOS, unavailable, introduced: 10.15.4)
|
|
// CHECK-PRIVATE-NEXT: @_semantics("defaultActor") nonisolated final public var unownedExecutor: _Concurrency.UnownedSerialExecutor
|
|
}
|
|
}
|