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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
|
// RUN: %target-typecheck-verify-swift -parse-as-library -module-name MyModule
// REQUIRES: OS=macosx
@available(*, unavailable)
func unavailable_foo() {} // expected-note {{'unavailable_foo()' has been explicitly marked unavailable here}}
func test() {
unavailable_foo() // expected-error {{'unavailable_foo()' is unavailable}}
}
@available(*,unavailable,message: "use 'Int' instead")
struct NSUInteger {} // expected-note 3 {{explicitly marked unavailable here}}
struct Outer {
@available(*,unavailable,message: "use 'UInt' instead")
struct NSUInteger {} // expected-note 2 {{explicitly marked unavailable here}}
}
func foo(x : NSUInteger) { // expected-error {{'NSUInteger' is unavailable: use 'Int' instead}}
let y : NSUInteger = 42 // expected-error {{'NSUInteger' is unavailable: use 'Int' instead}}
// expected-error@-1 {{cannot convert value of type 'Int' to specified type 'NSUInteger'}}
let z : MyModule.NSUInteger = 42 // expected-error {{'NSUInteger' is unavailable: use 'Int' instead}}
// expected-error@-1 {{cannot convert value of type 'Int' to specified type 'NSUInteger'}}
let z2 : Outer.NSUInteger = 42 // expected-error {{'NSUInteger' is unavailable: use 'UInt' instead}}
// expected-error@-1 {{cannot convert value of type 'Int' to specified type 'Outer.NSUInteger'}}
let z3 : MyModule.Outer.NSUInteger = 42 // expected-error {{'NSUInteger' is unavailable: use 'UInt' instead}}
// expected-error@-1 {{cannot convert value of type 'Int' to specified type 'Outer.NSUInteger'}}
}
/* FIXME 'nil == a' fails to type-check with a bogus error message
* <rdar://problem/17540796>
func markUsed<T>(t: T) {}
func testString() {
let a : String = "Hey"
if a == nil {
markUsed("nil")
} else if nil == a {
markUsed("nil")
}
else {
markUsed("not nil")
}
}
*/
// Test preventing protocol witnesses for unavailable requirements
@objc
protocol ProtocolWithRenamedRequirement {
@available(*, unavailable, renamed: "new(bar:)")
@objc optional func old(foo: Int) // expected-note{{'old(foo:)' has been explicitly marked unavailable here}}
func new(bar: Int)
}
class ClassWithGoodWitness : ProtocolWithRenamedRequirement {
@objc func new(bar: Int) {}
}
class ClassWithBadWitness : ProtocolWithRenamedRequirement {
@objc func old(foo: Int) {} // expected-error{{'old(foo:)' has been renamed to 'new(bar:)'}}
@objc func new(bar: Int) {}
}
@available(OSX, unavailable)
let unavailableOnOSX: Int = 0 // expected-note{{explicitly marked unavailable here}}
@available(iOS, unavailable)
let unavailableOniOS: Int = 0
@available(iOS, unavailable) @available(OSX, unavailable)
let unavailableOnBothA: Int = 0 // expected-note{{explicitly marked unavailable here}}
@available(OSX, unavailable) @available(iOS, unavailable)
let unavailableOnBothB: Int = 0 // expected-note{{explicitly marked unavailable here}}
@available(OSX, unavailable)
typealias UnavailableOnOSX = Int // expected-note{{explicitly marked unavailable here}}
@available(iOS, unavailable)
typealias UnavailableOniOS = Int
@available(iOS, unavailable) @available(OSX, unavailable)
typealias UnavailableOnBothA = Int // expected-note{{explicitly marked unavailable here}}
@available(OSX, unavailable) @available(iOS, unavailable)
typealias UnavailableOnBothB = Int // expected-note{{explicitly marked unavailable here}}
@available(macOS, unavailable)
let unavailableOnMacOS: Int = 0 // expected-note{{explicitly marked unavailable here}}
@available(macOS, unavailable)
typealias UnavailableOnMacOS = Int // expected-note{{explicitly marked unavailable here}}
@available(OSXApplicationExtension, unavailable)
let unavailableOnOSXAppExt: Int = 0
@available(macOSApplicationExtension, unavailable)
let unavailableOnMacOSAppExt: Int = 0
@available(OSXApplicationExtension, unavailable)
typealias UnavailableOnOSXAppExt = Int
@available(macOSApplicationExtension, unavailable)
typealias UnavailableOnMacOSAppExt = Int
func testPlatforms() {
_ = unavailableOnOSX // expected-error{{unavailable}}
_ = unavailableOniOS
_ = unavailableOnBothA // expected-error{{unavailable}}
_ = unavailableOnBothB // expected-error{{unavailable}}
_ = unavailableOnMacOS // expected-error{{unavailable}}
_ = unavailableOnOSXAppExt
_ = unavailableOnMacOSAppExt
let _: UnavailableOnOSX = 0 // expected-error{{unavailable}}
let _: UnavailableOniOS = 0
let _: UnavailableOnBothA = 0 // expected-error{{unavailable}}
let _: UnavailableOnBothB = 0 // expected-error{{unavailable}}
let _: UnavailableOnMacOS = 0 // expected-error{{unavailable}}
let _: UnavailableOnOSXAppExt = 0
let _: UnavailableOnMacOSAppExt = 0
}
struct VarToFunc {
@available(*, unavailable, renamed: "function()")
var variable: Int { // expected-note 2 {{explicitly marked unavailable here}}
get { 0 }
set {}
}
@available(*, unavailable, renamed: "function()")
func oldFunction() -> Int { return 42 } // expected-note 2 {{explicitly marked unavailable here}}
func function() -> Int {
_ = variable // expected-error{{'variable' has been renamed to 'function()'}}{{9-17=function()}}
_ = oldFunction() //expected-error{{'oldFunction()' has been renamed to 'function()'}}{{9-20=function}}
_ = oldFunction // expected-error{{'oldFunction()' has been renamed to 'function()'}} {{9-20=function}}
return 42
}
mutating func testAssignment() {
// This is nonsense, but someone shouldn't be using 'renamed' for this
// anyway. Just make sure we don't crash or anything.
variable = 2 // expected-error {{'variable' has been renamed to 'function()'}} {{5-13=function()}}
}
}
struct DeferBody {
func foo() {
enum No: Error {
case no
}
defer {
do {
throw No.no
} catch No.no {
} catch {
}
}
_ = ()
}
func bar() {
@available(*, unavailable)
enum No: Error { // expected-note 2 {{'No' has been explicitly marked unavailable here}}
case no
}
do {
throw No.no
// expected-error@-1 {{'No' is unavailable}}
} catch No.no {} catch _ {}
// expected-error@-1 {{'No' is unavailable}}
}
}
struct NotP {}
protocol P {}
@available(*, unavailable)
extension NotP: P {} // expected-note {{conformance of 'NotP' to 'P' has been explicitly marked unavailable here}}
@available(SwiftStdlib 5.1, *)
func requireP() -> some P {
NotP() // expected-error {{conformance of 'NotP' to 'P' is unavailable}}
}
|
