Files
swift-mirror/test/ModuleInterface/tilde_sendable.swift
Becca Royal-Gordon 1f008fb0d0 [ModuleInterface] Enable module selectors by default
And update tests to use them.

This commit depends on fixes in swiftlang/swift PRs #86905, #87129, and #87130.

Fixes rdar://169749886.
2026-02-20 00:35:23 -08:00

51 lines
1.3 KiB
Swift

// RUN: %empty-directory(%t)
// RUN: %target-swift-emit-module-interface(%t/Library.swiftinterface) %s -module-name Library -enable-experimental-feature TildeSendable
// RUN: %target-swift-typecheck-module-from-interface(%t/Library.swiftinterface) -module-name Library
// RUN: %FileCheck %s < %t/Library.swiftinterface
// REQUIRES: swift_feature_TildeSendable
// CHECK: #if compiler(>=5.3) && $TildeSendable
// CHECK: public class A : ~Swift::Sendable {
// CHECK: }
// CHECK: #else
// CHECK: public class A {
// CHECK: }
// CHECK: #endif
public class A: ~Sendable {
public init() {}
}
protocol P {
}
// CHECK: #if compiler(>=5.3) && $TildeSendable
// CHECK: public struct S : ~Swift::Sendable {
// CHECK: public let x: Swift::Int
// CHECK: }
// CHECK: #else
// CHECK: public struct S {
// CHECK: public let x: Swift::Int
// CHECK: }
// CHECK: #endif
// CHECK-NOT: extension Library::S : Swift::Sendable {}
public struct S: P, ~Sendable {
public let x: Int
}
// CHECK: #if compiler(>=5.3) && $TildeSendable
// CHECK: public struct B<T> : ~Swift::Sendable {
// CHECK: }
// CHECK: #else
// CHECK: public struct B<T> {
// CHECK: }
// CHECK: #endif
public struct B<T>: ~Sendable {
}
// CHECK: extension Library::B : Swift::Sendable where T : Swift::Sendable {
// CHECK: }
extension B: Sendable where T: Sendable {
}