averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

Sema: Allow unavailable stored properties in swiftinterfaces.

Browse Source 
In a swiftinterface a declaration could be unavailable because it was written
in source with an `@_spi_available` attribute so it isn't possible to safely
reject unavailable stored properties in that context.

Resolves rdar://144958440.
This commit is contained in:
Allan Shortlidge
2025-02-16 20:59:47 -08:00
parent c2e36decfe
commit 9c15342d08
2 changed files with 70 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

66
test/ModuleInterface/availability-storage-macos.swift Normal file
View File

@@ -0,0 +1,66 @@
// RUN: %empty-directory(%t)
// RUN: %target-swift-emit-module-interface(%t/Test.swiftinterface) %s -module-name Test -target %target-cpu-apple-macos51
// RUN: %target-swift-typecheck-module-from-interface(%t/Test.swiftinterface) -module-name Test
// RUN: %FileCheck %s < %t/Test.swiftinterface
// RUN: %target-swift-emit-module-interface(%t/TestMinInlining.swiftinterface) %s -module-name Test -target %target-cpu-apple-macos51 -target-min-inlining-version min
// RUN: %target-swift-typecheck-module-from-interface(%t/TestMinInlining.swiftinterface) -module-name Test
// RUN: %FileCheck %s < %t/TestMinInlining.swiftinterface
// REQUIRES: OS=macosx
// CHECK-LABEL: public struct StructWithProperties
public struct StructWithProperties {
// CHECK: @available(macOS, unavailable)
// CHECK-NEXT: public var unavailableComputed: Swift.Int {
// CHECK-NEXT: get
// CHECK-NEXT: }
@available(macOS, unavailable)
public var unavailableComputed: Int { 1 }
// CHECK: @available(macOS 51, *)
// CHECK-NEXT: public let introducedAtDeploymentStored: Swift.Int
@available(macOS 51, *)
public let introducedAtDeploymentStored: Int = 1
// CHECK: @available(macOS 99, *)
// CHECK-NEXT: public var introducedAfterDeploymentComputed: Swift.Int {
// CHECK-NEXT: get
// CHECK-NEXT: }
@available(macOS 99, *)
public var introducedAfterDeploymentComputed: Int { 1 }
// CHECK: @available(macOS, unavailable)
// CHECK-NEXT: public let introducedAtDeploymentSPIStored: Swift.Int
@_spi_available(macOS 51, *)
public let introducedAtDeploymentSPIStored: Int = 1
}
// CHECK-LABEL: public enum EnumWithAssociatedValues
public enum EnumWithAssociatedValues {
// CHECK: @available(macOS, unavailable)
// CHECK-NEXT: case unavailable
@available(macOS, unavailable)
case unavailable
// CHECK: @available(macOS 51, *)
// CHECK-NEXT: case introducedAtDeployment
@available(macOS 51, *)
case introducedAtDeployment
// CHECK: @available(macOS 99, *)
// CHECK-NEXT: case introducedAfterDeployment
@available(macOS 99, *)
case introducedAfterDeployment
// CHECK: @available(macOS, unavailable)
// CHECK-NEXT: case unavailableWithAssoc(Swift.Int)
@available(macOS, unavailable)
case unavailableWithAssoc(Int)
// CHECK: @available(macOS 51, *)
// CHECK-NEXT: case introducedAtDeploymentWithAssoc(Swift.Int)
@available(macOS 51, *)
case introducedAtDeploymentWithAssoc(Int)
}