mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
aeaa26d926
Currently only supports closures, but could be easily expanded to other types of situations e.g. function/member calls.
26 lines
1.4 KiB
Swift
26 lines
1.4 KiB
Swift
// RUN: %target-typecheck-verify-swift
|
|
|
|
func test1(_: ()) {} // expected-note {{'test1' declared here}}
|
|
test1() // expected-error {{missing argument for parameter #1 in call}}
|
|
|
|
enum Result<T> {
|
|
case success(T) // expected-note {{'success' declared here}}
|
|
}
|
|
func test3(_: Result<()>) {}
|
|
test3(.success()) // expected-error {{missing argument for parameter #1 in call}}
|
|
|
|
func toString(indexes: Int?...) -> String {
|
|
let _ = indexes.reduce(0) { print($0); return $0.0 + ($0.1 ?? 0)}
|
|
// expected-error@-1 {{contextual closure type '(Int, Int?) throws -> Int' expects 2 arguments, but 1 was used in closure body}}
|
|
let _ = indexes.reduce(0) { (true ? $0 : (1, 2)).0 + ($0.1 ?? 0) }
|
|
// expected-error@-1 {{contextual closure type '(Int, Int?) throws -> Int' expects 2 arguments, but 1 was used in closure body}}
|
|
_ = ["Hello", "Foo"].sorted { print($0); return $0.0.count > ($0).1.count }
|
|
// expected-error@-1 {{contextual closure type '(String, String) throws -> Bool' expects 2 arguments, but 1 was used in closure body}}
|
|
}
|
|
|
|
func doit(_ x: Int) -> Bool { return x > 0 }
|
|
let _: ((String, Int)) -> [String:Bool] = { [$0: doit($1)] }
|
|
// expected-error@-1 {{closure tuple parameter '(String, Int)' does not support destructuring with implicit parameters}}
|
|
func returnClosure() -> ((Int, Int)) -> Bool { return {$1 > $0} }
|
|
// expected-error@-1 {{closure tuple parameter '(Int, Int)' does not support destructuring with implicit parameters}}
|