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
|
// RUN: %target-typecheck-verify-swift
class Super {
final var i: Int { get { return 5 } } // expected-note{{overridden declaration is here}}
final func foo() { } // expected-note{{overridden declaration is here}}
final subscript (i: Int) -> Int { // expected-note{{overridden declaration is here}}
get {
return i
}
}
}
class Sub : Super {
override var i: Int { get { return 5 } } // expected-error{{property overrides a 'final' property}}
override func foo() { } // expected-error{{instance method overrides a 'final' instance method}}
override subscript (i: Int) -> Int { // expected-error{{subscript overrides a 'final' subscript}}
get {
return i
}
}
final override init() {} // expected-error {{'final' modifier cannot be applied to this declaration}} {{3-9=}}
}
struct SomeStruct {
final var i: Int = 1 // expected-error {{only classes and class members may be marked with 'final'}}
final var j: Int { return 1 } // expected-error {{only classes and class members may be marked with 'final'}}
final func f() {} // expected-error {{only classes and class members may be marked with 'final'}}
}
enum SomeEnum {
final var i: Int { return 1 } // expected-error {{only classes and class members may be marked with 'final'}}
final func f() {} // expected-error {{only classes and class members may be marked with 'final'}}
}
protocol SomeProtocol {
final var i: Int { get } // expected-error {{only classes and class members may be marked with 'final'}}
final func protoFunc() // expected-error {{only classes and class members may be marked with 'final'}} {{3-9=}}
}
extension SomeProtocol {
final var i: Int { return 1 } // expected-error {{only classes and class members may be marked with 'final'}} {{3-9=}}
final func protoExtensionFunc() {} // expected-error {{only classes and class members may be marked with 'final'}} {{3-9=}}
}
extension SomeStruct {
final func structExtensionFunc() {} // expected-error {{only classes and class members may be marked with 'final'}} {{3-9=}}
}
extension SomeEnum {
final func enumExtensionFunc() {} // expected-error {{only classes and class members may be marked with 'final'}} {{3-9=}}
}
extension Super {
final func someClassMethod() {} // ok
}
final func global_function() {} // expected-error {{only classes and class members may be marked with 'final'}}
final var global_var: Int = 1 // expected-error {{only classes and class members may be marked with 'final'}}
final
class Super2 {
var i: Int { get { return 5 } } // expected-note{{overridden declaration is here}}
func foo() { } // expected-note{{overridden declaration is here}}
subscript (i: Int) -> Int { // expected-note{{overridden declaration is here}}
get {
return i
}
}
}
class Sub2 : Super2 { //// expected-error{{inheritance from a final class 'Super2'}}
override var i: Int { get { return 5 } } // expected-error{{property overrides a 'final' property}}
override func foo() { } // expected-error{{instance method overrides a 'final' instance method}}
override subscript (i: Int) -> Int { // expected-error{{subscript overrides a 'final' subscript}}
get {
return i
}
}
final override init() {} // expected-error {{'final' modifier cannot be applied to this declaration}} {{3-9=}}
}
struct Box<T> {
final class Super3 {}
}
class Sub3: Box<Int>.Super3 {} // expected-error{{inheritance from a final class 'Box.Super3'}}
|
