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
62
63
64
65
|
// swift-interface-format-version: 1.0
// swift-module-flags: -module-name InheritedDefaults
// RUN: %empty-directory(%t)
// RUN: %target-typecheck-verify-swift
import Swift
public class Bar {
// note associated with the expected error in (F) below
public init(x: Int = 24, y: Int, z: Int = 42) // expected-note {{corresponding parameter declared here}}
public init(a: Int, b: Int = 99)
public convenience init(convInit: Int = 45) {}
// note associated with the expected error in (D) below
public convenience init(first: Int, second: Int = 88, third: Int, fourth: Int) // expected-note {{overridden declaration is here}}
}
public class Foo: Bar {
// A) designated overriding designated - valid
public override init(x: Int = super, y: Int, z: Int = super)
// B) convenience shadowing convenience
public convenience init(convInit: Int = super) // expected-error {{default value inheritance via 'super' is only valid on the parameters of designated initializers}}
// C) convenience overriding designated
public override convenience init(a: Int, b: Int = super) // expected-error {{default value inheritance via 'super' is only valid on the parameters of designated initializers}}
// D) designated shadowing convenience
public init(first: Int, second: Int = super, third: Int, fourth: Int) // expected-error {{default value inheritance via 'super' can only be used when overriding a designated initializer}}
// E) not in initializer
public subscript(k: Int = super) -> Int { get } // expected-error {{default value inheritance via 'super' is only valid on the parameters of designated initializers}}
public func foo(z: Int = super) // expected-error {{default value inheritance via 'super' is only valid on the parameters of designated initializers}}
}
public class Baz: Bar {
// F) Matching param not defaulted
public override init(x: Int = super, y: Int = super, z: Int = super) // expected-error {{default value inheritance via 'super' requires that the corresponding parameter of the overridden designated initializer has a default value}}
}
public class Direct: Bar {
public override init(x: Int = super, y: Int, z: Int = super)
// G) Doesn't override anything
public override init(other: Int = super, value: Int) // expected-error {{argument labels for initializer 'init(other:value:)' do not match those of overridden initializer 'init(a:b:)'}}
// expected-error@-1 {{default value inheritance via 'super' can only be used when overriding a designated initializer}}
}
public class Indirect: Direct {
// H) Chain of inherited defaults - valid all the way down
public override init(x: Int = super, y: Int, z: Int = super)
// I) Chain of inherited defaults - invalid further down (and diagnosed there)
public override init(other: Int = super, value: Int)
}
public enum Bob {
case bar(p: Int)
public init(foo: String = super /*comment*/) // expected-error {{default value inheritance via 'super' can only be used when overriding a designated initializer}}
}
|
