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
|
// RUN: %target-typecheck-verify-swift
func takeIntToInt(_ f: (Int) -> Int) { }
func takeIntIntToInt(_ f: (Int, Int) -> Int) { }
// Simple closures with anonymous arguments
func simple() {
takeIntToInt({$0 + 1})
takeIntIntToInt({$0 + $1 + 1})
}
// Anonymous arguments with inference
func myMap<T, U>(_ array: [T], _ f: (T) -> U) -> [U] {}
func testMap(_ array: [Int]) {
var farray = myMap(array, { Float($0) })
var _ : Float = farray[0]
let farray2 = myMap(array, { (x : Int) in Float(x) })
farray = farray2
_ = farray
}
// Nested single-expression closures -- <rdar://problem/20931915>
class NestedSingleExpr {
private var b: Bool = false
private func callClosure(_ callback: () -> Void) {}
func call() {
callClosure { [weak self] in
self?.callClosure {
self?.b = true
}
}
}
}
// Autoclosure nested inside single-expr closure should get discriminator
// <rdar://problem/22441425> Swift compiler "INTERNAL ERROR: this diagnostic should not be produced"
struct Expectation<T> {}
func expect<T>(_ expression: @autoclosure () -> T) -> Expectation<T> {
return Expectation<T>()
}
func describe(_ closure: () -> ()) {}
func f() { describe { _ = expect("what") } }
struct Blob {}
func withBlob(block: (Blob) -> ()) {}
protocol Binding {}
extension Int: Binding {}
extension Double: Binding {}
extension String: Binding {}
extension Blob: Binding {}
struct Stmt {
@discardableResult
func bind(_ values: Binding?...) -> Stmt {
return self
}
@discardableResult
func bind(_ values: [Binding?]) -> Stmt {
return self
}
@discardableResult
func bind(_ values: [String: Binding?]) -> Stmt {
return self
}
}
let stmt = Stmt()
withBlob { stmt.bind(1, 2.0, "3", $0) }
withBlob { stmt.bind([1, 2.0, "3", $0]) }
withBlob { stmt.bind(["1": 1, "2": 2.0, "3": "3", "4": $0]) }
// <rdar://problem/19840785>
// We shouldn't crash on the call to 'a.dispatch' below.
class A {
func dispatch(_ f : () -> Void) {
f()
}
}
class C {
var prop = 0
var a = A()
func act() {
a.dispatch({() -> Void in
self.prop // expected-warning {{expression of type 'Int' is unused}}
})
}
}
// Never-returning expressions
func haltAndCatchFire() -> Never { while true { } }
let backupPlan: () -> Int = { haltAndCatchFire() }
func missionCritical(storage: () -> String) {}
missionCritical(storage: { haltAndCatchFire() })
// https://github.com/apple/swift/issues/47540
enum E { }
func takesAnotherUninhabitedType(e: () -> E) {}
takesAnotherUninhabitedType { haltAndCatchFire() }
// Weak capture bug caught by rdar://problem/67351438
class Y {
var toggle: Bool = false
func doSomething(animated: Bool, completionHandler: (Int, Int) -> Void) { }
}
class X {
private(set) var someY: Y!
func doSomething() {
someY?.doSomething(animated: true, completionHandler: { [weak someY] _, _ in
someY?.toggle = true
})
}
}
|
