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
|
// RUN: %target-typecheck-verify-swift
func valid1() {
func inner(_: Int) {}
func inner(_: String) {}
func inner(label: Int) {}
func inner(label: String) {}
inner(123)
inner("hello")
inner(label: 123)
inner(label: "hello")
}
func valid2() {
func inner(_: Int = 0) {}
func inner() -> Bool {}
func inner(first: Int, second: Int = 0) {}
let _: Bool = inner()
let _ = inner()
inner(first: 123)
}
func invalid1() {
func inner(_: Int) {}
// expected-note@-1 {{'inner' previously declared here}}
func inner(_: Int) {}
// expected-error@-1 {{invalid redeclaration of 'inner'}}
}
func invalid2() {
func inner(_: Int) {}
// expected-note@-1 {{candidate expects value of type 'Int' for parameter #1}}
// expected-note@-2 {{found this candidate}}
// expected-note@-3 {{did you mean 'inner'?}}
func inner(_: String) {}
// expected-note@-1 {{candidate expects value of type 'String' for parameter #1}}
// expected-note@-2 {{found this candidate}}
func inner(label: Int) {}
// expected-note@-1 {{found this candidate}}
inner([])
// expected-error@-1 {{no exact matches in call to local function 'inner'}}
inner(label: "hi")
// expected-error@-1 {{cannot convert value of type 'String' to expected argument type 'Int'}}
_ = inner
// expected-error@-1 {{ambiguous use of 'inner'}}
_ = inner(label:) // no-error
// FIXME: This isn't as good as in the non-local function case?
_ = inner(invalidLabel:)
// expected-error@-1 {{cannot find 'inner(invalidLabel:)' in scope}}
}
|
