mirror of
https://github.com/apple/swift.git
synced 2026-03-04 18:24:35 +01:00
bc65846be2
Enable the feature by default, and add an experimental feature `DeprecateCompatMemberwiseInit` to control the deprecation behavior which was deferred from the proposal.
322 lines
6.5 KiB
Swift
322 lines
6.5 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-ide-test -print-ast-typechecked -print-access -source-filename=%s | %FileCheck %s -check-prefix=CHECK -check-prefix=CHECK-COMPAT -implicit-check-not='init('
|
|
// RUN: %target-swift-ide-test -swift-version 7 -print-ast-typechecked -print-access -enable-experimental-feature DeprecateCompatMemberwiseInit -source-filename=%s | %FileCheck %s -check-prefix=CHECK -implicit-check-not='init('
|
|
// RUN: %target-swift-frontend -emit-sil -DFORCE -primary-file %s > /dev/null
|
|
|
|
// REQUIRES: swift_feature_DeprecateCompatMemberwiseInit
|
|
// REQUIRES: swift7
|
|
|
|
// - CHECK matches before and after the compatibility overload is removed
|
|
// - CHECK-COMPAT only matches before the compatibility overload is removed
|
|
|
|
// CHECK-LABEL: struct A {
|
|
struct A {
|
|
private var x: Int
|
|
// CHECK: private init(x: Int)
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(x:) }
|
|
#endif
|
|
}
|
|
|
|
// CHECK-LABEL: struct B {
|
|
struct B {
|
|
private var x: Int?
|
|
// CHECK: internal init()
|
|
// CHECK: private init(x: Int? = nil)
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(x:) }
|
|
#endif
|
|
}
|
|
|
|
// CHECK-LABEL: struct C {
|
|
struct C {
|
|
private var x = 0
|
|
// CHECK: internal init()
|
|
// CHECK: private init(x: Int = 0)
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(x:) }
|
|
#endif
|
|
}
|
|
|
|
// CHECK-LABEL: struct D {
|
|
struct D {
|
|
private var x = 0
|
|
var y: String
|
|
// CHECK-COMPAT: private init(x: Int = 0, y: String)
|
|
// CHECK: internal init(y: String)
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(x:y:) }
|
|
#endif
|
|
}
|
|
|
|
// CHECK-LABEL: struct E {
|
|
struct E {
|
|
var x: String
|
|
private var y: Int?
|
|
// CHECK: internal init(x: String)
|
|
// CHECK-COMPAT: private init(x: String, y: Int? = nil)
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(x:y:) }
|
|
#endif
|
|
}
|
|
|
|
// CHECK-LABEL: struct F {
|
|
struct F {
|
|
var x: String
|
|
private let y = 0
|
|
// CHECK: internal init(x: String)
|
|
}
|
|
|
|
// CHECK-LABEL: struct G {
|
|
struct G {
|
|
var x: Int
|
|
|
|
private var y: Int {
|
|
@storageRestrictions(initializes: x)
|
|
init { x = newValue }
|
|
get { x }
|
|
}
|
|
// CHECK: private init(y: Int)
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(y:) }
|
|
#endif
|
|
}
|
|
|
|
// CHECK-LABEL: struct H {
|
|
struct H {
|
|
var x: Int?
|
|
|
|
private var y: Int? {
|
|
@storageRestrictions(initializes: x)
|
|
init { x = newValue }
|
|
get { x }
|
|
}
|
|
// CHECK: internal init()
|
|
// CHECK: private init(y: Int? = nil)
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(y:) }
|
|
#endif
|
|
}
|
|
|
|
// CHECK-LABEL: struct I {
|
|
struct I {
|
|
private var x: Int = 0 {
|
|
@storageRestrictions(initializes: y)
|
|
init { y = newValue }
|
|
get { y }
|
|
}
|
|
|
|
var y: Int
|
|
// CHECK: internal init()
|
|
// CHECK: private init(x: Int = 0)
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(x:) }
|
|
#endif
|
|
}
|
|
|
|
// CHECK-LABEL: struct J {
|
|
struct J {
|
|
private var x: Int = 0 {
|
|
@storageRestrictions(initializes: y)
|
|
init { y = newValue }
|
|
get { y }
|
|
}
|
|
|
|
var y: Int
|
|
var z: String
|
|
// CHECK-COMPAT: private init(x: Int = 0, z: String)
|
|
// CHECK: internal init(z: String)
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(x:z:) }
|
|
#endif
|
|
}
|
|
|
|
// CHECK-LABEL: struct K {
|
|
struct K {
|
|
private var x: Int
|
|
var y: Int {
|
|
@storageRestrictions(initializes: x)
|
|
init { x = newValue }
|
|
get { x }
|
|
}
|
|
var z: String
|
|
// CHECK: internal init(y: Int, z: String)
|
|
}
|
|
|
|
// CHECK-LABEL: struct L {
|
|
struct L {
|
|
private var x: Int
|
|
var y: Int = 0 {
|
|
@storageRestrictions(initializes: x)
|
|
init { x = newValue }
|
|
get { x }
|
|
}
|
|
var z: String
|
|
// CHECK: internal init(y: Int = 0, z: String)
|
|
}
|
|
|
|
// CHECK-LABEL: struct M {
|
|
struct M {
|
|
private var x: Int = 0
|
|
var y: Int = 0 {
|
|
@storageRestrictions(initializes: x)
|
|
init { x = newValue }
|
|
get { x }
|
|
}
|
|
var z: String
|
|
// CHECK: internal init(y: Int = 0, z: String)
|
|
}
|
|
|
|
// CHECK-LABEL: struct O1 {
|
|
struct O1 {
|
|
fileprivate var x = 0
|
|
var y: String
|
|
// CHECK-COMPAT: fileprivate init(x: Int = 0, y: String)
|
|
// CHECK: internal init(y: String)
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(x:y:) }
|
|
#endif
|
|
}
|
|
|
|
// CHECK-LABEL: struct O2 {
|
|
fileprivate struct O2 {
|
|
var x = 0
|
|
var y: String
|
|
// CHECK: init(x: Int = 0, y: String)
|
|
}
|
|
|
|
// CHECK-LABEL: struct P {
|
|
struct P {
|
|
private var x: Int = 0, y = ""
|
|
// CHECK: internal init()
|
|
// CHECK: private init(x: Int = 0, y: String = "")
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(x:y:) }
|
|
#endif
|
|
}
|
|
|
|
// CHECK-LABEL: struct Q {
|
|
struct Q {
|
|
private var x: Int = 0, y = ""
|
|
var z: String
|
|
// CHECK-COMPAT: private init(x: Int = 0, y: String = "", z: String)
|
|
// CHECK: internal init(z: String)
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(x:y:z:) }
|
|
#endif
|
|
}
|
|
|
|
// CHECK-LABEL: struct R {
|
|
struct R {
|
|
private lazy var x = 0
|
|
var y: String
|
|
// CHECK-COMPAT: private init(x: Int? = nil, y: String)
|
|
// CHECK: internal init(y: String)
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(x:y:) }
|
|
#endif
|
|
}
|
|
|
|
// CHECK-LABEL: struct S {
|
|
private struct S {
|
|
fileprivate var x: Int?
|
|
var y: Int
|
|
|
|
// CHECK: fileprivate init(x: Int? = nil, y: Int)
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(x:y:) }
|
|
#endif
|
|
}
|
|
|
|
// CHECK-LABEL: struct T {
|
|
private struct T {
|
|
private var x: Int?
|
|
var y: Int
|
|
// CHECK-COMPAT: private init(x: Int? = nil, y: Int)
|
|
// CHECK: internal init(y: Int)
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(x:y:) }
|
|
#endif
|
|
}
|
|
|
|
// CHECK-LABEL: struct U {
|
|
struct U {
|
|
var a: Int
|
|
var b: Int
|
|
var c: Int
|
|
private var d: Int = 0 {
|
|
@storageRestrictions(initializes: b, accesses: c)
|
|
init { b = newValue + c }
|
|
get { b }
|
|
}
|
|
// CHECK: internal init(a: Int, c: Int)
|
|
// CHECK-COMPAT: private init(a: Int, c: Int, d: Int = 0)
|
|
}
|
|
|
|
// CHECK-LABEL: func locals() {
|
|
func locals() {
|
|
// CHECK-LABEL: struct A {
|
|
struct A {
|
|
fileprivate var x: Int?
|
|
var y: Int
|
|
// CHECK: fileprivate init(x: Int? = nil, y: Int)
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(x:y:) }
|
|
#endif
|
|
}
|
|
|
|
// CHECK-LABEL: struct B {
|
|
struct B {
|
|
private var x: Int?
|
|
var y: Int
|
|
// CHECK-COMPAT: private init(x: Int? = nil, y: Int)
|
|
// CHECK: internal init(y: Int)
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(x:y:) }
|
|
#endif
|
|
}
|
|
}
|
|
|
|
// CHECK-LABEL: private enum TestNested {
|
|
private enum TestNested {
|
|
// CHECK-LABEL: struct A {
|
|
struct A {
|
|
fileprivate var x: Int?
|
|
var y: Int
|
|
// CHECK: fileprivate init(x: Int? = nil, y: Int)
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(x:y:) }
|
|
#endif
|
|
}
|
|
|
|
// CHECK-LABEL: struct B {
|
|
struct B {
|
|
private var x: Int?
|
|
var y: Int
|
|
// CHECK-COMPAT: private init(x: Int? = nil, y: Int)
|
|
// CHECK: internal init(y: Int)
|
|
|
|
#if FORCE
|
|
func forceEmission() { _ = Self.init(x:y:) }
|
|
#endif
|
|
}
|
|
}
|