mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
ad1acd7f4a
During the lifecycle of a feature, it may start as an experimental feature and then graduate to become an upcoming feature. To preserve compatibility with projects that adopted the feature when it was experimental, `-enable-experimental-feature` ought to be able to enable upcoming features, too. Since projects may use `-enable-experimental-feature` for compatibility with an older toolchain that does not have the feature as an upcoming feature, there is no warning when the flag is used to enable an upcoming feature. Note that if the semantics of a feature change when it graduates from experimental to upcoming, then the feature must be renamed so that projects using the experimental feature have an opportunity opt-in to the new semantics of the upcoming feature. Resolves rdar://134276783.
30 lines
1.4 KiB
Swift
30 lines
1.4 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-frontend -emit-module -emit-module-path %t/StrictModule.swiftmodule -module-name StrictModule -swift-version 6 %S/Inputs/StrictModule.swift
|
|
// RUN: %target-swift-frontend -emit-module -emit-module-path %t/NonStrictModule.swiftmodule -module-name NonStrictModule %S/Inputs/NonStrictModule.swift
|
|
|
|
// RUN: %target-swift-frontend -swift-version 6 -I %t %s -emit-sil -o /dev/null -verify -parse-as-library
|
|
|
|
@preconcurrency import NonStrictModule
|
|
@preconcurrency import StrictModule
|
|
|
|
func acceptSendable<T: Sendable>(_: T) { }
|
|
|
|
@available(SwiftStdlib 5.1, *)
|
|
func test(ss: StrictStruct, ns: NonStrictClass) {
|
|
acceptSendable(ss) // expected-warning{{type 'StrictStruct' does not conform to the 'Sendable' protocol}}
|
|
acceptSendable(ns)
|
|
}
|
|
|
|
let nonStrictGlobal = NonStrictClass()
|
|
let strictGlobal = StrictStruct() // expected-warning{{let 'strictGlobal' is not concurrency-safe because non-'Sendable' type 'StrictStruct' may have shared mutable state}}
|
|
// expected-note@-1{{add '@MainActor' to make let 'strictGlobal' part of global actor 'MainActor'}}
|
|
// expected-note@-2{{disable concurrency-safety checks if accesses are protected by an external synchronization mechanism}}
|
|
|
|
extension NonStrictClass {
|
|
@Sendable func f() { }
|
|
}
|
|
|
|
extension StrictStruct {
|
|
@Sendable func f() { } // expected-warning{{instance method of non-Sendable type 'StrictStruct' cannot be marked as '@Sendable'}}
|
|
}
|