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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
// RUN: %target-typecheck-verify-swift -parse-as-library
class B : A {
override init() { super.init() }
override func f() {}
func g() -> (B, B) { return (B(), B()) } // expected-error {{declaration 'g()' cannot override more than one superclass declaration}}
override func h() -> (A, B) { return (B(), B()) } // expected-note {{'h()' previously overridden here}}
override func h() -> (B, A) { return (B(), B()) } // expected-error {{'h()' has already been overridden}}
func i() {} // expected-error {{overri}}
override func j() -> Int { return 0 }
func j() -> Float { return 0.0 }
func k() -> Float { return 0.0 }
override func l(_ l: Int) {}
override func l(_ l: Float) {}
override func m(_ x: Int) {}
func m(_ x: Float) {} // not an override of anything
func n(_ x: Float) {}
override subscript(i : Int) -> Int {
get {}
set {}
}
}
class A {
init() { }
func f() {}
func g() -> (B, A) { return (B(), B()) } // expected-note{{overridden declaration is here}}
func g() -> (A, B) { return (B(), B()) } // expected-note{{overridden declaration is here}}
func h() -> (A, A) { return (B(), B()) }
func j() -> Int { return 0 }
func k() -> Int { return 0 }
func l(_ l: Int) {}
func l(_ l: Float) {}
func m(_ x: Int) {}
func m(y: Int) {}
func n(_ x: Int) {}
subscript(i : Int) -> Int {
get {}
set {}
}
}
extension A {
func i() {} // expected-note{{overri}}
}
func f() {
let x = B()
_ = x.f() as ()
_ = x[10] as Int
}
class C<T> {
init() { }
func f(_ v: T) -> T { return v }
}
class D : C<Int> {
override init() { super.init() }
override func f(_ v: Int) -> Int { return v+1 }
}
func f2() {
let x = D()
_ = x.f(10)
}
class E<T> {
func f(_ v: T) -> T { return v }
}
class F : E<Int> {}
class G : F {
override func f(_ v: Int) -> Int { return v+1 }
}
// Explicit downcasting
func test_explicit_downcasting(_ f: F, ei: E<Int>) {
var g = f as! G
g = ei as! G
_ = g
}
// Type and instance functions with the same name
class H {
func f(_ x: Int) { }
class func f(_ x: Int) { }
}
class HDerived : H {
override func f(_ x: Int) { }
override class func f(_ x: Int) { }
}
// Subclass existentials in inheritance clause
protocol P {}
protocol Q {}
protocol R {}
class Base : Q & R {}
class Derived : P & Base {}
func f(_: P) {}
func g(_: Base) {}
func h(_: Q) {}
func i(_: R) {}
func testSubclassExistentialsInInheritanceClause() {
f(Derived())
g(Derived())
h(Derived())
i(Derived())
}
|
