mirror of
https://github.com/apple/swift.git
synced 2026-03-04 18:24:35 +01:00
cbc0ec3b88
These are tests that fail in the next commit without this flag. This does not add -verify-ignore-unrelated to all tests with -verify, only the ones that would fail without it. This is NFC since this flag is currently a no-op.
86 lines
2.4 KiB
Swift
86 lines
2.4 KiB
Swift
// RUN: %target-typecheck-verify-swift -verify-ignore-unrelated
|
|
// REQUIRES: concurrency
|
|
|
|
// Synthesis of conformances for actors.
|
|
|
|
@available(SwiftStdlib 5.1, *)
|
|
actor A1 {
|
|
var x: Int = 17
|
|
}
|
|
|
|
@available(SwiftStdlib 5.1, *)
|
|
actor A2: Actor {
|
|
var x: Int = 17
|
|
}
|
|
|
|
@available(SwiftStdlib 5.1, *)
|
|
actor A3<T>: Actor {
|
|
var x: Int = 17
|
|
}
|
|
|
|
@available(SwiftStdlib 5.1, *)
|
|
actor A4: A1 { // expected-error{{actor types do not support inheritance}}
|
|
}
|
|
|
|
@available(SwiftStdlib 5.1, *)
|
|
actor A5: A2 { // expected-error{{actor types do not support inheritance}}
|
|
}
|
|
|
|
@available(SwiftStdlib 5.1, *)
|
|
actor A6: A1, Actor { // expected-error{{redundant conformance of 'A6' to protocol 'Actor'}}
|
|
// expected-note@-1{{'A6' inherits conformance to protocol 'Actor' from superclass here}}
|
|
// expected-error@-2{{actor types do not support inheritance}}
|
|
}
|
|
|
|
// Explicitly satisfying the requirement.
|
|
|
|
@available(SwiftStdlib 5.1, *)
|
|
actor A7 {
|
|
// Okay: satisfy the requirement explicitly
|
|
nonisolated func enqueue(_ job: UnownedJob) { }
|
|
}
|
|
|
|
// A non-actor can conform to the Actor protocol, if it does it properly.
|
|
@available(SwiftStdlib 5.1, *)
|
|
class C1: Actor {
|
|
// expected-error@-1{{non-actor type 'C1' cannot conform to the 'Actor' protocol}}
|
|
// expected-warning@-2{{non-final class 'C1' cannot conform to the 'Sendable' protocol}}
|
|
nonisolated var unownedExecutor: UnownedSerialExecutor {
|
|
fatalError("")
|
|
}
|
|
}
|
|
|
|
@available(SwiftStdlib 5.1, *)
|
|
class C2: Actor {
|
|
// expected-error@-1{{non-actor type 'C2' cannot conform to the 'Actor' protocol}}
|
|
// expected-warning@-2{{non-final class 'C2' cannot conform to the 'Sendable' protocol}}
|
|
// FIXME: this should be an isolation violation
|
|
var unownedExecutor: UnownedSerialExecutor {
|
|
fatalError("")
|
|
}
|
|
}
|
|
|
|
@available(SwiftStdlib 5.1, *)
|
|
class C3: Actor {
|
|
// expected-error@-1{{type 'C3' does not conform to protocol 'Actor'}}
|
|
// expected-note@-2{{add stubs for conformance}}
|
|
// expected-error@-3{{non-actor type 'C3' cannot conform to the 'Actor' protocol}}
|
|
// expected-warning@-4{{non-final class 'C3' cannot conform to the 'Sendable' protocol}}
|
|
nonisolated func enqueue(_ job: UnownedJob) { }
|
|
}
|
|
|
|
// Make sure the conformances actually happen.
|
|
@available(SwiftStdlib 5.1, *)
|
|
func acceptActor<T: Actor>(_: T.Type) { }
|
|
|
|
@available(SwiftStdlib 5.1, *)
|
|
func testConformance() {
|
|
acceptActor(A1.self)
|
|
acceptActor(A2.self)
|
|
acceptActor(A3<Int>.self)
|
|
acceptActor(A4.self)
|
|
acceptActor(A5.self)
|
|
acceptActor(A6.self)
|
|
acceptActor(A7.self)
|
|
}
|