mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
cb3a0fbcc8
Cover not only immutability but also type mismatch cases and clarify behavior when one of the sides of the type conversion is optional.
82 lines
3.2 KiB
Swift
82 lines
3.2 KiB
Swift
// RUN: %target-typecheck-verify-swift
|
|
|
|
// Test various orderings of constructor calls and assignments to make
|
|
// sure we figure out the constructor kind in various situations.
|
|
|
|
struct Measurement {
|
|
let val: Int
|
|
}
|
|
|
|
class Superclass {
|
|
init() {}
|
|
init(name: String) {}
|
|
}
|
|
|
|
class SomeClass : Superclass {
|
|
let width: Measurement // expected-note * {{declared here}}
|
|
let height: Measurement // expected-note * {{declared here}}
|
|
|
|
// super.init() call gives us a chaining initializer, where we can
|
|
// assign let properties
|
|
override init() {
|
|
self.width = Measurement.self.init(val: 10)
|
|
self.height = Measurement.self.init(val: 20)
|
|
super.init(name: "shape")
|
|
}
|
|
|
|
// Another case
|
|
init(width: Int, height: Int) {
|
|
super.init(name: "shape")
|
|
self.width = Measurement.self.init(val: width)
|
|
self.height = Measurement.self.init(val: height)
|
|
}
|
|
|
|
// Delegating initializer -- let properties are immutable
|
|
convenience init(width: Int) {
|
|
self.init(width: width, height: 20)
|
|
self.height = Measurement(val: 20) // expected-error {{'let' property 'height' may not be initialized directly; use "self.init(...)" or "self = ..." instead}}
|
|
}
|
|
|
|
// Another case
|
|
convenience init(height: Int) {
|
|
self.width = Measurement(val: 20) // expected-error {{'let' property 'width' may not be initialized directly; use "self.init(...)" or "self = ..." instead}}
|
|
self.init(width: 10, height: height)
|
|
}
|
|
}
|
|
|
|
struct SomeStruct {
|
|
let width: Measurement // expected-note * {{declared here}}
|
|
let height: Measurement // expected-note * {{declared here}}
|
|
|
|
// Delegating initializer
|
|
init() {
|
|
self.init()
|
|
self.width = Measurement.self.init(val: width) // expected-error {{cannot convert value of type 'Measurement' to expected argument type 'Int'}}
|
|
// expected-error@-1 {{'let' property 'width' may not be initialized directly; use "self.init(...)" or "self = ..." instead}}
|
|
self.height = Measurement.self.init(val: height) // expected-error {{cannot convert value of type 'Measurement' to expected argument type 'Int'}}
|
|
// expected-error@-1 {{'let' property 'height' may not be initialized directly; use "self.init(...)" or "self = ..." instead}}
|
|
}
|
|
|
|
// Designated initializer
|
|
init(width: Int, height: Int, meta: Measurement.Type) {
|
|
self.width = meta.init(val: width)
|
|
self.height = meta.init(val: height)
|
|
}
|
|
|
|
// Delegating initializer
|
|
init(width: Int) {
|
|
self.init()
|
|
self.width = width // expected-error {{cannot assign value of type 'Int' to type 'Measurement'}}
|
|
// expected-error@-1 {{'let' property 'width' may not be initialized directly; use "self.init(...)" or "self = ..." instead}}
|
|
self.height = Measurement(val: 20) // expected-error {{'let' property 'height' may not be initialized directly; use "self.init(...)" or "self = ..." instead}}
|
|
}
|
|
|
|
// Delegating initializer
|
|
init(height: Int) {
|
|
self.width = Measurement(val: 10) // expected-error {{'let' property 'width' may not be initialized directly; use "self.init(...)" or "self = ..." instead}}
|
|
self.height = height // expected-error {{cannot assign value of type 'Int' to type 'Measurement'}}
|
|
// expected-error@-1 {{'let' property 'height' may not be initialized directly; use "self.init(...)" or "self = ..." instead}}
|
|
self.init()
|
|
}
|
|
}
|