mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
3549ec5404
along with recent policy changes: - For expression types that are not specifically handled, make sure to produce a general "unused value" warning, catching a bunch of unused values in the testsuite. - For unused operator results, diagnose them as uses of the operator instead of "calls". - For calls, mutter the type of the result for greater specificity. - For initializers, mutter the type of the initialized value. - Look through OpenExistentialExpr's so we can handle protocol member references propertly. - Look through several other expressions so we handle @discardableResult better.
44 lines
1.1 KiB
Swift
44 lines
1.1 KiB
Swift
// RUN: %target-parse-verify-swift
|
|
|
|
func takeIntToInt(_ f: (Int) -> Int) { }
|
|
func takeIntIntToInt(_ f: (Int, Int) -> Int) { }
|
|
|
|
// Simple closures
|
|
func simple() {
|
|
takeIntToInt({(x: Int) -> Int in
|
|
return x + 1
|
|
})
|
|
takeIntIntToInt({(x: Int, y: Int) -> Int in
|
|
return x + y
|
|
})
|
|
}
|
|
|
|
// Closures with variadic argument lists
|
|
func variadic() {
|
|
var f = {(start: Int, rest: Int...) -> Int in
|
|
var result = start
|
|
for x in rest {
|
|
result += x
|
|
}
|
|
return result
|
|
}
|
|
_ = f(1)
|
|
_ = f(1, 2)
|
|
_ = f(1, 3)
|
|
|
|
let D = { (Ss ...) in 1 } // expected-error{{'...' cannot be applied to a subpattern which is not explicitly typed}}, expected-error{{unable to infer closure type in the current context}}
|
|
}
|
|
|
|
// Closures with attributes in the parameter list.
|
|
func attrs() {
|
|
_ = {(z: inout Int) -> Int in z }
|
|
}
|
|
|
|
// Closures with argument and parameter names.
|
|
func argAndParamNames() -> Int {
|
|
let _: (x: Int, y: Int) -> Int = { (a x, b y) in x + y } // expected-error 2 {{closure cannot have keyword arguments}}
|
|
let f1: (x: Int, y: Int) -> Int = { (x, y) in x + y }
|
|
_ = f1(x: 1, y: 2)
|
|
return f1(x: 1, y: 2)
|
|
}
|