mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
ba68faaed5
Find all the usages of `--enable-experimental-feature` or `--enable-upcoming-feature` in the tests and replace some of the `REQUIRES: asserts` to use `REQUIRES: swift-feature-Foo` instead, which should correctly apply to depending on the asserts/noasserts mode of the toolchain for each feature. Remove some comments that talked about enabling asserts since they don't apply anymore (but I might had miss some). All this was done with an automated script, so some formatting weirdness might happen, but I hope I fixed most of those. There might be some tests that were `REQUIRES: asserts` that might run in `noasserts` toolchains now. This will normally be because their feature went from experimental to upcoming/base and the tests were not updated.
91 lines
4.1 KiB
Swift
91 lines
4.1 KiB
Swift
// RUN: %target-swift-frontend -target %target-swift-5.1-abi-triple -strict-concurrency=complete %s -emit-sil -o /dev/null -verify
|
|
// RUN: %target-swift-frontend -target %target-swift-5.1-abi-triple -strict-concurrency=complete %s -emit-sil -o /dev/null -verify -enable-upcoming-feature RegionBasedIsolation
|
|
|
|
// REQUIRES: concurrency
|
|
// REQUIRES: swift_feature_RegionBasedIsolation
|
|
|
|
class Box {
|
|
let size : Int = 0
|
|
}
|
|
|
|
actor Door {
|
|
let immutable : Int = 0
|
|
let letBox : Box? = nil
|
|
let letDict : [Int : Box] = [:]
|
|
let immutableNeighbor : Door? = nil
|
|
|
|
|
|
var mutableNeighbor : Door? = nil
|
|
var varDict : [Int : Box] = [:]
|
|
var mutable : Int = 0
|
|
var varBox : Box = Box()
|
|
var getOnlyInt : Int {
|
|
get { 0 }
|
|
}
|
|
|
|
@MainActor var globActor_mutable : Int = 0
|
|
@MainActor let globActor_immutable : Int = 0
|
|
|
|
@preconcurrency @MainActor var unsafeGlobActor_mutable : Int = 0
|
|
@preconcurrency @MainActor let unsafeGlobActor_immutable : Int = 0
|
|
|
|
subscript(byIndex: Int) -> Int { 0 }
|
|
|
|
@MainActor subscript(byName: String) -> Int { 0 }
|
|
|
|
nonisolated subscript(byIEEE754: Double) -> Int { 0 }
|
|
}
|
|
|
|
func attemptAccess<T, V>(_ t : T, _ f : (T) -> V) -> V {
|
|
return f(t)
|
|
}
|
|
|
|
func tryKeyPathsMisc(d : Door) {
|
|
// as a func
|
|
_ = attemptAccess(d, \Door.mutable) // expected-error {{cannot form key path to actor-isolated property 'mutable'}}
|
|
_ = attemptAccess(d, \Door.immutable)
|
|
_ = attemptAccess(d, \Door.immutableNeighbor?.immutableNeighbor)
|
|
|
|
// in combination with other key paths
|
|
|
|
_ = (\Door.letBox).appending(path: // expected-warning {{cannot form key path to actor-isolated property 'letBox'; this is an error in the Swift 6 language mode}}
|
|
\Box?.?.size)
|
|
|
|
_ = (\Door.varBox).appending(path: // expected-error {{cannot form key path to actor-isolated property 'varBox'}}
|
|
\Box.size)
|
|
|
|
}
|
|
|
|
func tryKeyPathsFromAsync() async {
|
|
_ = \Door.unsafeGlobActor_immutable
|
|
_ = \Door.unsafeGlobActor_mutable // expected-warning {{cannot form key path to main actor-isolated property 'unsafeGlobActor_mutable'; this is an error in the Swift 6 language mode}}
|
|
}
|
|
|
|
func tryNonSendable() {
|
|
_ = \Door.letDict[0] // expected-warning {{cannot form key path to actor-isolated property 'letDict'; this is an error in the Swift 6 language mode}}
|
|
_ = \Door.varDict[0] // expected-error {{cannot form key path to actor-isolated property 'varDict'}}
|
|
_ = \Door.letBox!.size // expected-warning {{cannot form key path to actor-isolated property 'letBox'; this is an error in the Swift 6 language mode}}
|
|
}
|
|
|
|
func tryKeypaths() {
|
|
_ = \Door.unsafeGlobActor_immutable
|
|
_ = \Door.unsafeGlobActor_mutable // expected-warning {{cannot form key path to main actor-isolated property 'unsafeGlobActor_mutable'; this is an error in the Swift 6 language mode}}
|
|
|
|
_ = \Door.immutable
|
|
_ = \Door.globActor_immutable
|
|
_ = \Door.[4.2]
|
|
_ = \Door.immutableNeighbor?.immutableNeighbor?.immutableNeighbor
|
|
|
|
_ = \Door.varBox // expected-error{{cannot form key path to actor-isolated property 'varBox'}}
|
|
_ = \Door.mutable // expected-error{{cannot form key path to actor-isolated property 'mutable'}}
|
|
_ = \Door.getOnlyInt // expected-error{{cannot form key path to actor-isolated property 'getOnlyInt'}}
|
|
_ = \Door.mutableNeighbor?.mutableNeighbor?.mutableNeighbor // expected-error 3 {{cannot form key path to actor-isolated property 'mutableNeighbor'}}
|
|
|
|
let _ : PartialKeyPath<Door> = \.mutable // expected-error{{cannot form key path to actor-isolated property 'mutable'}}
|
|
let _ : AnyKeyPath = \Door.mutable // expected-error{{cannot form key path to actor-isolated property 'mutable'}}
|
|
|
|
_ = \Door.globActor_mutable // expected-warning {{cannot form key path to main actor-isolated property 'globActor_mutable'; this is an error in the Swift 6 language mode}}
|
|
_ = \Door.[0] // expected-error{{cannot form key path to actor-isolated subscript 'subscript(_:)'}}
|
|
_ = \Door.["hello"] // expected-warning {{cannot form key path to main actor-isolated subscript 'subscript(_:)'; this is an error in the Swift 6 language mode}}
|
|
}
|