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
|
// RUN: %target-typecheck-verify-swift
func doFoo() {}
class View {
var subviews: Array<AnyObject>! = []
}
var rootView = View()
var v = [View(), View()]
rootView.subviews = v
_ = rootView.subviews as! [View]
for view in rootView.subviews as! [View] { // expected-warning{{immutable value 'view' was never used; consider replacing with '_' or removing it}}
doFoo()
}
for view:View in rootView.subviews { // expected-error{{cannot convert sequence element type 'AnyObject' to expected type 'View'}}
doFoo()
}
_ = (rootView.subviews!) as! [View]
_ = (rootView.subviews) as! [View]
var ao: [AnyObject] = []
_ = ao as! [View] // works
var b = Array<(String, Int)>()
for x in b { // expected-warning{{immutable value 'x' was never used; consider replacing with '_' or removing it}}
doFoo()
}
var c : Array<(String, Int)>! = Array()
for x in c { // expected-warning{{immutable value 'x' was never used; consider replacing with '_' or removing it}}
doFoo()
}
var d : Array<(String, Int)>? = Array()
for x in d! { // expected-warning{{immutable value 'x' was never used; consider replacing with '_' or removing it}}
doFoo()
}
|
