mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
3ab4c7548c
There's no good reason to permit them. Conformances like Copyable and Sendable are pervasive, so it's as though we are permitting extensions of `Any`. Until there's a good argument in favor of such extensions, remove the capability now.
105 lines
2.6 KiB
Swift
105 lines
2.6 KiB
Swift
// RUN: %empty-directory(%t/src)
|
|
// RUN: %empty-directory(%t/sdk)
|
|
// RUN: split-file %s %t/src
|
|
|
|
// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -typecheck %t/src/main.swift \
|
|
// RUN: -import-objc-header %t/src/Test.h \
|
|
// RUN: -strict-concurrency=complete \
|
|
// RUN: -module-name main -I %t -verify
|
|
|
|
// REQUIRES: objc_interop
|
|
// REQUIRES: concurrency
|
|
|
|
//--- Test.h
|
|
#define NS_SWIFT_SENDABLE __attribute__((__swift_attr__("@Sendable")))
|
|
|
|
#pragma clang assume_nonnull begin
|
|
|
|
@import Foundation;
|
|
|
|
NS_SWIFT_SENDABLE
|
|
@protocol MyObjCProtocol <NSObject>
|
|
@property (readonly, nonatomic) NSString *test;
|
|
@end
|
|
|
|
@protocol MyRefinedObjCProtocol <MyObjCProtocol>
|
|
@end
|
|
|
|
#pragma clang assume_nonnull end
|
|
|
|
//--- main.swift
|
|
struct MyStruct: Sendable {
|
|
let value: any MyObjCProtocol // Ok
|
|
}
|
|
|
|
func compute<T: Sendable>(_ t: T) {}
|
|
|
|
extension MyObjCProtocol {
|
|
func test() {
|
|
compute(self) // Ok
|
|
}
|
|
}
|
|
|
|
class K : NSObject, MyObjCProtocol {
|
|
// expected-warning@-1 {{non-final class 'K' cannot conform to 'Sendable'; use '@unchecked Sendable'}}
|
|
let test: String = "k"
|
|
}
|
|
|
|
class UncheckedK : NSObject, MyObjCProtocol, @unchecked Sendable { // ok
|
|
let test: String = "unchecked"
|
|
}
|
|
|
|
class KRefined : NSObject, MyRefinedObjCProtocol {
|
|
// expected-warning@-1 {{non-final class 'KRefined' cannot conform to 'Sendable'; use '@unchecked Sendable'}}
|
|
let test: String = "refined"
|
|
}
|
|
|
|
class KUncheckedRefined : NSObject, MyRefinedObjCProtocol, @unchecked Sendable { // Ok
|
|
let test: String = "refined unchecked"
|
|
}
|
|
|
|
@preconcurrency
|
|
protocol P : Sendable {
|
|
}
|
|
|
|
protocol Q : Sendable {
|
|
}
|
|
|
|
do {
|
|
class A : NSObject {}
|
|
|
|
final class B : A, P {
|
|
// expected-warning@-1 {{'Sendable' class 'B' cannot inherit from another class other than 'NSObject'}}
|
|
}
|
|
|
|
final class UncheckedB : A, P, @unchecked Sendable { // Ok
|
|
}
|
|
|
|
class C : A, MyObjCProtocol {
|
|
// expected-warning@-1 {{non-final class 'C' cannot conform to 'Sendable'; use '@unchecked Sendable'}}
|
|
// expected-warning@-2 {{'Sendable' class 'C' cannot inherit from another class other than 'NSObject'}}
|
|
let test: String = "c"
|
|
}
|
|
|
|
class UncheckedC : A, MyObjCProtocol, @unchecked Sendable { // Ok
|
|
let test: String = "c"
|
|
}
|
|
|
|
// A warning until `-swift-version 6`
|
|
final class D : A, Q {
|
|
// expected-warning@-1 {{'Sendable' class 'D' cannot inherit from another class other than 'NSObject'}}
|
|
}
|
|
|
|
final class UncheckedD : A, Q, @unchecked Sendable { // Ok
|
|
}
|
|
}
|
|
|
|
do {
|
|
func testSendable<T: Sendable>(_: T) {}
|
|
|
|
testSendable(K()) // Ok
|
|
testSendable(UncheckedK()) // Ok
|
|
testSendable(KRefined()) // Ok
|
|
testSendable(KUncheckedRefined()) // Ok
|
|
}
|