mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
02afb9d49b
The patch introduces a new setting instead of changing existing settings because the generated interfaces in the IDE have slightly different requirements; the extended type there is unconditionally not printed qualified (even if it is ambiguous). This is likely because the ambiguity heuristic is very weak; it doesn't even do name lookup. Simplifying that logic would be nice, but then we'd need to update a bunch of IDE/print* tests and end up with more more visual clutter in the IDE. Introducing the new setting means we can change the behavior for swiftinterface files without affecting the behavior for IDE interfaces. Fixes rdar://79093752.
160 lines
4.6 KiB
Swift
160 lines
4.6 KiB
Swift
// RUN: %empty-directory(%t)
|
|
|
|
// RUN: %target-swift-frontend -typecheck -swift-version 5 -module-name FeatureTest -emit-module-interface-path - -enable-library-evolution -enable-experimental-concurrency %s | %FileCheck %s
|
|
// REQUIRES: concurrency
|
|
|
|
// REQUIRES: concurrency
|
|
|
|
// Ensure that when we emit a Swift interface that makes use of new features,
|
|
// the uses of those features are guarded by appropriate #if's that allow older
|
|
// compilers to skip over the uses of newer features.
|
|
|
|
// CHECK: #if compiler(>=5.3) && $Actors
|
|
// CHECK-NEXT: public actor MyActor
|
|
// CHECK: @_semantics("defaultActor") nonisolated final public var unownedExecutor: _Concurrency.UnownedSerialExecutor {
|
|
// CHECK-NEXT: get
|
|
// CHECK-NEXT: }
|
|
// CHECK-NEXT: }
|
|
// CHECK-NEXT: #endif
|
|
public actor MyActor {
|
|
}
|
|
|
|
// CHECK: #if compiler(>=5.3) && $Actors
|
|
// CHECK-NEXT: extension FeatureTest.MyActor
|
|
public extension MyActor {
|
|
// CHECK-NOT: $Actors
|
|
// CHECK: testFunc
|
|
func testFunc() async { }
|
|
// CHECK: }
|
|
// CHECK-NEXT: #endif
|
|
}
|
|
|
|
// CHECK: #if compiler(>=5.3) && $AsyncAwait
|
|
// CHECK-NEXT: globalAsync
|
|
// CHECK-NEXT: #endif
|
|
public func globalAsync() async { }
|
|
|
|
// CHECK: #if compiler(>=5.3) && $MarkerProtocol
|
|
// CHECK-NEXT: public protocol MP {
|
|
// CHECK-NEXT: }
|
|
// CHECK-NEXT: #else
|
|
// CHECK-NEXT: public typealias MP = Any
|
|
// CHECK-NEXT: #endif
|
|
@_marker public protocol MP { }
|
|
|
|
// CHECK: #if compiler(>=5.3) && $MarkerProtocol
|
|
// CHECK-NEXT: @_marker public protocol MP2 : FeatureTest.MP {
|
|
// CHECK-NEXT: }
|
|
// CHECK-NEXT: #else
|
|
// CHECK-NEXT: public typealias MP2 = Any
|
|
// CHECK-NEXT: #endif
|
|
@_marker public protocol MP2: MP { }
|
|
|
|
// CHECK: #if compiler(>=5.3) && $MarkerProtocol
|
|
// CHECK-NEXT: public protocol MP3 : AnyObject, FeatureTest.MP {
|
|
// CHECK-NEXT: }
|
|
public protocol MP3: AnyObject, MP { }
|
|
|
|
// CHECK: #if compiler(>=5.3) && $MarkerProtocol
|
|
// CHECK-NEXT: extension FeatureTest.MP2 {
|
|
// CHECK-NEXT: func inMP2
|
|
extension MP2 {
|
|
public func inMP2() { }
|
|
}
|
|
|
|
// CHECK: class OldSchool {
|
|
public class OldSchool: MP {
|
|
// CHECK: #if compiler(>=5.3) && $AsyncAwait
|
|
// CHECK-NEXT: takeClass()
|
|
// CHECK-NEXT: #endif
|
|
public func takeClass() async { }
|
|
}
|
|
|
|
// CHECK: class OldSchool2 {
|
|
public class OldSchool2: MP {
|
|
// CHECK: #if compiler(>=5.3) && $AsyncAwait
|
|
// CHECK-NEXT: takeClass()
|
|
// CHECK-NEXT: #endif
|
|
public func takeClass() async { }
|
|
}
|
|
|
|
// CHECK: #if compiler(>=5.3) && $RethrowsProtocol
|
|
// CHECK-NEXT: @rethrows public protocol RP
|
|
@rethrows public protocol RP {
|
|
func f() throws -> Bool
|
|
}
|
|
|
|
// CHECK: public struct UsesRP {
|
|
public struct UsesRP {
|
|
// CHECK: #if compiler(>=5.3) && $RethrowsProtocol
|
|
// CHECK-NEXT: public var value: FeatureTest.RP? {
|
|
// CHECK-NOT: #if compiler(>=5.3) && $RethrowsProtocol
|
|
// CHECK: get
|
|
public var value: RP? {
|
|
nil
|
|
}
|
|
}
|
|
|
|
// CHECK: #if compiler(>=5.3) && $RethrowsProtocol
|
|
// CHECK-NEXT: public struct IsRP
|
|
public struct IsRP: RP {
|
|
// CHECK-NEXT: public func f()
|
|
public func f() -> Bool { }
|
|
|
|
// CHECK-NOT: $RethrowsProtocol
|
|
// CHECK-NEXT: public var isF:
|
|
// CHECK-NEXT: get
|
|
public var isF: Bool {
|
|
f()
|
|
}
|
|
}
|
|
|
|
// CHECK: #if compiler(>=5.3) && $RethrowsProtocol
|
|
// CHECK-NEXT: public func acceptsRP
|
|
public func acceptsRP<T: RP>(_: T) { }
|
|
|
|
// CHECK: #if compiler(>=5.3) && $MarkerProtocol
|
|
// CHECK-NEXT: extension Swift.Array : FeatureTest.MP where Element : FeatureTest.MP {
|
|
extension Array: FeatureTest.MP where Element : FeatureTest.MP { }
|
|
// CHECK: }
|
|
|
|
// CHECK: #if compiler(>=5.3) && $MarkerProtocol
|
|
// CHECK-NEXT: extension FeatureTest.OldSchool : Swift.UnsafeSendable {
|
|
extension OldSchool: UnsafeSendable { }
|
|
// CHECK-NEXT: }
|
|
|
|
// CHECK: #if compiler(>=5.3) && $GlobalActors
|
|
// CHECK-NEXT: @globalActor public struct SomeGlobalActor
|
|
@globalActor
|
|
public struct SomeGlobalActor {
|
|
public static let shared = MyActor()
|
|
}
|
|
|
|
|
|
// CHECK: #if compiler(>=5.3) && $AsyncAwait
|
|
// CHECK-NEXT: func runSomethingSomewhere
|
|
// CHECK-NEXT: #endif
|
|
public func runSomethingSomewhere(body: () async -> Void) { }
|
|
|
|
// CHECK: #if compiler(>=5.3) && $Sendable
|
|
// CHECK-NEXT: func runSomethingConcurrently(body: @Sendable () ->
|
|
// CHECK-NEXT: #endif
|
|
public func runSomethingConcurrently(body: @Sendable () -> Void) { }
|
|
|
|
// CHECK: #if compiler(>=5.3) && $Actors
|
|
// CHECK-NEXT: func stage
|
|
// CHECK-NEXT: #endif
|
|
public func stage(with actor: MyActor) { }
|
|
|
|
// CHECK: #if compiler(>=5.3) && $AsyncAwait && $Sendable && $InheritActorContext
|
|
// CHECK-NEXT: func asyncIsh
|
|
// CHECK-NEXT: #endif
|
|
public func asyncIsh(@_inheritActorContext operation: @Sendable @escaping () async -> Void) { }
|
|
|
|
// CHECK-NOT: extension FeatureTest.MyActor : Swift.Sendable
|
|
|
|
// CHECK: #if compiler(>=5.3) && $MarkerProtocol
|
|
// CHECK-NEXT: extension FeatureTest.OldSchool : FeatureTest.MP {
|
|
// CHECK-NEXT: #endif
|
|
|