averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

[AST] Support @preconcurrency attribute on test/extension inheritance entries

Browse Source
This commit is contained in:
Pavel Yaskevich
2024-01-05 13:45:28 -08:00
committed by Pavel Yaskevich
parent 574aee0113
commit 233d279a5c
10 changed files with 75 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

44
test/ModuleInterface/preconcurrency_conformances.swift Normal file
View File

@@ -0,0 +1,44 @@
// RUN: %empty-directory(%t/src)
// RUN: split-file %s %t/src
/// Build the library
// RUN: %target-swift-frontend -emit-module %t/src/PublicModule.swift \
// RUN: -module-name PublicModule -swift-version 5 -enable-library-evolution \
// RUN: -emit-module-path %t/PublicModule.swiftmodule \
// RUN: -emit-module-interface-path %t/PublicModule.swiftinterface
// Build the client and check the interface
// RUN: %target-swift-frontend -emit-module %t/src/Client.swift \
// RUN: -module-name Client -I %t -swift-version 5 -enable-library-evolution \
// RUN: -emit-module-path %t/Client.swiftmodule \
// RUN: -emit-module-interface-path %t/Client.swiftinterface
// RUN: %FileCheck %s < %t/Client.swiftinterface
// RUN: %target-swift-emit-module-interface(%t/Client.swiftinterface) -I %t %s -module-name Client
// RUN: %target-swift-typecheck-module-from-interface(%t/Client.swiftinterface) -I %t -module-name Client
//--- PublicModule.swift
public protocol P {
func test() -> Int
}
//--- Client.swift
import PublicModule
// CHECK: @_Concurrency.MainActor public struct GlobalActorTest : @preconcurrency PublicModule.P
@MainActor
public struct GlobalActorTest : @preconcurrency P {
public func test() -> Int { 0 }
}
@MainActor
public class ExtTest {
}
// CHECK: extension Client.ExtTest : @preconcurrency PublicModule.P
extension ExtTest : @preconcurrency P {
public func test() -> Int { 1 }
}
// TODO: 'actor' cannot be tested until @preconcurrency conformances are implemented.