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
|
// RUN: %target-typecheck-verify-swift -parse-as-library
struct S {
func foo() {
super.foo() // expected-error{{'super' cannot be used outside of class members}}
}
}
class D : B {
func b_foo() -> Int { return super.foo }
override func bar(_ a: Float) -> Int { return super.bar(a) }
func bas() -> (Int, UnicodeScalar, String) {
return (super.zim(), super.zang(), super.zung())
}
override var zippity : Int { return super.zippity }
}
extension D {
func d_ext_foo() -> Int {
return super.foo
}
}
class B {
var foo : Int = 0
func bar(_ a: Float) -> Int {}
func zim() -> Int {}
func zang() -> UnicodeScalar {}
func zung() -> String {}
var zippity : Int { return 123 }
func zoo() { super.zoo() } // expected-error{{'super' members cannot be referenced in a root class}}
}
class X<T> {
func method<U>(_ x: T, y: U) { }
}
class Y<U> : X<Int> {
func otherMethod<V>(_ x: Int, y: V) {
super.method(x, y: y)
}
}
func use_d(_ d: D) -> Int {
_ = d.b_foo()
_ = d.bar(1.0)
_ = d.bas()
return d.zippity
}
func not_method() {
super.foo() // expected-error{{'super' cannot be used outside of class members}}
}
// rdar://problem/50819554 - inability to properly resolve superclass shouldn't crash the solver
func test_that_invalid_supertype_ref_doesnt_crash() {
final class Node: ManagedBuffer<AnyObject, Undefined> { // expected-error {{cannot find type 'Undefined' in scope}}
static func create() {
super.create()
}
}
}
|
