1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67
|
// RUN: %empty-directory(%t)
// RUN: %target-swift-emit-module-interface(%t/Library.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: %FileCheck %s < %t/Library.swiftinterface
@available(SwiftStdlib 5.2, *)
@propertyWrapper
public struct ConditionallyAvailableWrapper<T> {
public var wrappedValue: T
public init(wrappedValue: T) {
self.wrappedValue = wrappedValue
}
}
@available(macOS, unavailable)
@available(iOS, unavailable)
@available(watchOS, unavailable)
@available(tvOS, unavailable)
@propertyWrapper
public struct UnavailableWrapper<T> {
public var wrappedValue: T
public init(wrappedValue: T) {
self.wrappedValue = wrappedValue
}
}
// CHECK: public struct HasWrappers {
public struct HasWrappers {
// CHECK: @available(macOS 10.15.4, iOS 13.4, watchOS 6.2, tvOS 13.4, *)
// CHECK-NEXT: @Library.ConditionallyAvailableWrapper public var x: Swift.Int {
// CHECK-NEXT: get
// CHECK-NEXT: @available(iOS 13.4, tvOS 13.4, watchOS 6.2, macOS 10.15.4, *)
// CHECK-NEXT: set
// CHECK-NEXT: @available(iOS 13.4, tvOS 13.4, watchOS 6.2, macOS 10.15.4, *)
// CHECK-NEXT: _modify
// CHECK-NEXT: }
@available(SwiftStdlib 5.2, *)
@ConditionallyAvailableWrapper public var x: Int
}
// CHECK: @available(macOS, unavailable)
// CHECK-NEXT: @available(iOS, unavailable)
// CHECK-NEXT: @available(watchOS, unavailable)
// CHECK-NEXT: @available(tvOS, unavailable)
// CHECK-NEXT: public struct UnavailableHasWrappers {
@available(macOS, unavailable)
@available(iOS, unavailable)
@available(watchOS, unavailable)
@available(tvOS, unavailable)
public struct UnavailableHasWrappers {
// CHECK-LABEL: @Library.UnavailableWrapper public var x: Swift.Int {
// CHECK-NEXT: get
// CHECK-NEXT: @available(iOS, unavailable)
// CHECK-NEXT: @available(tvOS, unavailable)
// CHECK-NEXT: @available(watchOS, unavailable)
// CHECK-NEXT: @available(macOS, unavailable)
// CHECK-NEXT: set
// CHECK-NEXT: @available(iOS, unavailable)
// CHECK-NEXT: @available(tvOS, unavailable)
// CHECK-NEXT: @available(watchOS, unavailable)
// CHECK-NEXT: @available(macOS, unavailable)
// CHECK-NEXT: _modify
// CHECK-NEXT: }
@UnavailableWrapper public var x: Int
}
|