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
|
// RUN: %target-swift-frontend -typecheck -swift-version 4 -verify -enable-library-evolution %s -DRESILIENT
// RUN: %target-swift-frontend -typecheck -swift-version 5 -verify -enable-library-evolution %s -DRESILIENT
// There should be no errors when run without resilience enabled.
// RUN: %target-swift-frontend -typecheck -swift-version 4 %s
// RUN: %target-swift-frontend -typecheck -swift-version 5 %s
// Animal is not @frozen, so we cannot define an @inlinable
// designated initializer
public struct Animal {
public let name: String // expected-note 2 {{declared here}}
@inlinable public init(name: String) {
self.name = name // expected-error {{'let' property 'name' may not be initialized directly; use "self.init(...)" or "self = ..." instead}}
}
@_transparent public init(cat: String) {
self.name = cat // expected-error {{'let' property 'name' may not be initialized directly; use "self.init(...)" or "self = ..." instead}}
}
// This is OK
@inlinable public init(cow: String) {
self.init(name: cow)
}
// This is OK
@inlinable public init(other: Animal) {
self = other
}
}
public class Widget {
public let name: String
public init(nonInlinableName name: String) {
self.name = name
}
@inlinable public init(name: String) {
// expected-error@-1 {{initializer for class 'Widget' is '@inlinable' and must delegate to another initializer}}
self.name = name
}
@inlinable public convenience init(goodName name: String) {
// This is OK
self.init(nonInlinableName: name)
}
}
public protocol Gadget {
init()
}
extension Gadget {
@inlinable public init(unused: Int) {
// This is OK
self.init()
}
}
|
