mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
bebfa969bd
If 'x.init' appears as a member reference other than 'self.init' or 'super.init' within an initializer, treat it as a regular static member lookup for 'init' members. This allows a more explicit syntax for dynamic initializations; 'self.someMetatype()' looks too much like it's invoking a method. It also allows for partial applications of initializers using 'someMetatype.init' (though this needs some SILGen fixes, coming up next). While we're in the neighborhood, do some other correctness and QoI fixes: - Only lookup initializers as members of metatypes, not instances, and add a fixit (instead of crashing) to insert '.dynamicType' if the initializer is found on an instance. - Make it so that constructing a class-constrained archetype type correctly requires a 'required' or protocol initializer. - Warn on unused initializer results. This seems to me like just the right thing to do, but is also a small guard against the fact that 'self.init' is now valid in a static method, but produces a newly-constructed value instead of delegating initialization (and evaluating to void). Swift SVN r29344
95 lines
3.2 KiB
Swift
95 lines
3.2 KiB
Swift
// RUN: %target-parse-verify-swift
|
|
|
|
// REQUIRES: OS=macosx
|
|
|
|
@available(*, unavailable)
|
|
func unavailable_foo() {} // expected-note {{'unavailable_foo()' has been explicitly marked unavailable here}}
|
|
|
|
func test() {
|
|
unavailable_foo() // expected-error {{'unavailable_foo()' is unavailable}}
|
|
}
|
|
|
|
@available(*,unavailable,message="use 'Int' instead")
|
|
struct NSUInteger {} // expected-note 2 {{explicitly marked unavailable here}}
|
|
|
|
func foo(x : NSUInteger) { // expected-error {{'NSUInteger' is unavailable: use 'Int' instead}}
|
|
let y : NSUInteger = 42 // expected-error {{'NSUInteger' is unavailable: use 'Int' instead}}
|
|
}
|
|
|
|
// Test preventing overrides of unavailable methods.
|
|
class ClassWithUnavailable {
|
|
@available(*, unavailable)
|
|
func doNotOverride() {}
|
|
|
|
// FIXME: extraneous diagnostic here
|
|
@available(*, unavailable)
|
|
init(int _: Int) {} // expected-note 2 {{'init(int:)' has been explicitly marked unavailable here}}
|
|
|
|
convenience init(otherInt: Int) {
|
|
self.init(int: otherInt) // expected-error {{'init(int:)' is unavailable}}
|
|
}
|
|
|
|
@available(*, unavailable)
|
|
subscript (i: Int) -> Int { // expected-note{{'subscript' has been explicitly marked unavailable here}}
|
|
return i
|
|
}
|
|
}
|
|
|
|
class ClassWithOverride : ClassWithUnavailable {
|
|
override func doNotOverride() {} // expected-error {{cannot override 'doNotOverride' which has been marked unavailable}}
|
|
}
|
|
|
|
func testInit() {
|
|
ClassWithUnavailable(int: 0) // expected-error {{'init(int:)' is unavailable}} // expected-warning{{unused}}
|
|
}
|
|
|
|
func testSuvscript(cwu: ClassWithUnavailable) {
|
|
_ = cwu[5] // expected-error{{'subscript' is unavailable}}
|
|
}
|
|
|
|
/* FIXME 'nil == a' fails to type-check with a bogus error message
|
|
* <rdar://problem/17540796>
|
|
func markUsed<T>(t: T) {}
|
|
func testString() {
|
|
let a : String = "Hey"
|
|
if a == nil {
|
|
markUsed("nil")
|
|
} else if nil == a {
|
|
markUsed("nil")
|
|
}
|
|
else {
|
|
markUsed("not nil")
|
|
}
|
|
}
|
|
*/
|
|
|
|
@available(OSX, unavailable)
|
|
let unavailableOnOSX: Int = 0 // expected-note{{explicitly marked unavailable here}}
|
|
@available(iOS, unavailable)
|
|
let unavailableOniOS: Int = 0
|
|
@available(iOS, unavailable) @available(OSX, unavailable)
|
|
let unavailableOnBothA: Int = 0 // expected-note{{explicitly marked unavailable here}}
|
|
@available(OSX, unavailable)
|
|
let unavailableOnBothB: Int = 0 // expected-note{{explicitly marked unavailable here}}
|
|
|
|
@available(OSX, unavailable)
|
|
typealias UnavailableOnOSX = Int // expected-note{{explicitly marked unavailable here}}
|
|
@available(iOS, unavailable)
|
|
typealias UnavailableOniOS = Int
|
|
@available(iOS, unavailable) @available(OSX, unavailable)
|
|
typealias UnavailableOnBothA = Int // expected-note{{explicitly marked unavailable here}}
|
|
@available(OSX, unavailable) @available(iOS, unavailable)
|
|
typealias UnavailableOnBothB = Int // expected-note{{explicitly marked unavailable here}}
|
|
|
|
func testPlatforms() {
|
|
_ = unavailableOnOSX // expected-error{{unavailable}}
|
|
_ = unavailableOniOS
|
|
_ = unavailableOnBothA // expected-error{{unavailable}}
|
|
_ = unavailableOnBothB // expected-error{{unavailable}}
|
|
|
|
let _: UnavailableOnOSX = 0 // expected-error{{unavailable}}
|
|
let _: UnavailableOniOS = 0
|
|
let _: UnavailableOnBothA = 0 // expected-error{{unavailable}}
|
|
let _: UnavailableOnBothB = 0 // expected-error{{unavailable}}
|
|
}
|