mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
89 lines
3.4 KiB
Swift
89 lines
3.4 KiB
Swift
// 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'}}
|