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
|
// RUN: %target-typecheck-verify-swift -swift-version 4
protocol P1 {
static func `init`(_: Int) // expected-note {{protocol requires function 'init' with type '(Int) -> ()'}}
// expected-note@-1 {{did you mean 'init'?}}
}
struct S11 : P1 {
static func `init`(_: Int) {}
}
struct S12 : P1 { // expected-error {{type 'S12' does not conform to protocol 'P1'}} expected-note {{add stubs for conformance}}
init(_: Int) {}
}
protocol P2 {
init(_: Int) // expected-note {{protocol requires initializer 'init(_:)' with type 'Int'}}
}
struct S21 : P2 { // expected-error {{type 'S21' does not conform to protocol 'P2'}} expected-note {{add stubs for conformance}}
static func `init`(_: Int) {}
}
struct S22 : P2 {
init(_: Int) {}
}
struct S3 {
static func `init`() {}
init(x: Int) { // expected-note {{'init(x:)' declared here}}
self.init() // expected-error {{missing argument for parameter 'x' in call}}
}
}
_ = S11(0) // expected-error {{argument passed to call that takes no arguments}}
S11.init(0)
S11.`init`(0)
_ = S12(0)
_ = S12.init(0)
_ = S12.`init`(0) // expected-error {{type 'S12' has no member 'init'}}
_ = S21(0) // expected-error {{argument passed to call that takes no arguments}}
S21.init(0)
S21.`init`(0)
_ = S22(0)
_ = S22.init(0)
_ = S22.`init`(0) // expected-error {{type 'S22' has no member 'init'}}
|
