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
|
// RUN: %target-typecheck-verify-swift -swift-version 5
// RUN: %target-typecheck-verify-swift -swift-version 5 -enable-library-evolution
public enum PublicEnum {
case publicCase
@_spi(S) case spiCase
}
@inlinable public func publicInlinableFunc(_ e: PublicEnum) {
switch e {
case .publicCase: break
case .spiCase: break // FIXME: this should be diagnosed with "cannot use enum case 'spiCase' here; it is SPI"
@unknown default: break
}
if case .spiCase = e {} // FIXME: this should be diagnosed with "cannot use enum case 'spiCase' here; it is SPI"
_ = PublicEnum.spiCase // expected-error {{enum case 'spiCase' cannot be used in an '@inlinable' function because it is SPI}}
}
@_spi(S)
@inlinable public func spiInlinableFunc(_ e: PublicEnum) {
switch e {
case .publicCase: break
case .spiCase: break
@unknown default: break
}
if case .spiCase = e {}
_ = PublicEnum.spiCase
}
public struct PublicStruct {}
@_spi(S) public struct SPIStruct {} // expected-note {{type declared here}}
public enum PublicEnumWithPayloads {
case publicCasePublicPayload(_ s: PublicStruct)
case publicCaseSPIPayload(_ s: SPIStruct) // expected-error {{cannot use struct 'SPIStruct' here; it is SPI}}
@_spi(S) case spiCasePublicPayload(_ s: PublicStruct)
@_spi(S) case spiCaseSPIPayload(_ s: SPIStruct)
}
@_spi(S)
public enum SPIEnumWithPayloads {
case publicPayloadCase(_ s: PublicStruct)
case spiPayloadCase(_ s: SPIStruct)
}
|
