mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
66104395d7
Some editors use diagnostics from SourceKit to replace build issues. This causes issues if the diagnostics from SourceKit are formatted differently than the build issues. Make sure they are rendered the same way, removing most uses of `DiagnosticsEditorMode`. To do so, always emit the `add stubs for conformance` note (which previously was only emitted in editor mode) and remove all `; add <something>` suffixes from notes that state which requirements are missing. rdar://129283608
86 lines
2.5 KiB
Swift
86 lines
2.5 KiB
Swift
// RUN: %target-typecheck-verify-swift
|
|
// 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 'Sendable'; use '@unchecked Sendable'}}
|
|
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 'Sendable'; use '@unchecked Sendable'}}
|
|
// 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 'Sendable'; use '@unchecked Sendable'}}
|
|
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)
|
|
}
|