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] Make sure that nonisolated(nonsending) works together with @autoclosure

Browse Source
This commit is contained in:
Pavel Yaskevich
2025-11-10 10:48:06 -08:00
parent c3ea3031b9
commit 8ea8a99e99
2 changed files with 15 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
lib/AST/Decl.cpp
View File

@@ -9206,6 +9206,7 @@ void ParamDecl::setTypeRepr(TypeRepr *repr) {
dyn_cast<CallerIsolatedTypeRepr>(unwrappedType)) {
setCallerIsolated(true);
unwrappedType = callerIsolated->getBase();
continue;
}
break;

14
test/Concurrency/attr_execution/nonisolated_cross_module_with_flag_enabled.swift
View File

@@ -40,6 +40,11 @@ public struct InferenceTest {
public func testNested(callback: @escaping (@Sendable () async -> Void) -> Void) {}
// CHECK: public func testNested(dict: [Swift.String : (nonisolated(nonsending) () async -> Swift.Void)?])
public func testNested(dict: [String: (() async -> Void)?]) {}
// CHECK: nonisolated(nonsending) public func testAutoclosure(value1 fn: nonisolated(nonsending) @autoclosure () async -> Swift.Int) async
public func testAutoclosure(value1 fn: @autoclosure () async -> Int) async { await fn() }
// CHECK: nonisolated(nonsending) public func testAutoclosure(value2 fn: nonisolated(nonsending) @autoclosure () async -> Swift.Int) async
public func testAutoclosure(value2 fn: nonisolated(nonsending) @autoclosure () async -> Int) async { await fn() }
}
//--- Client.swift
@@ -78,3 +83,12 @@ func testInference(t: InferenceTest) async {
t.testNested { _ in }
t.testNested(dict: [:])
}
// CHECK-LABEL: sil hidden @$s6Client15testAutoclosure1ty1A13InferenceTestV_tYaF : $@convention(thin) @async (@in_guaranteed InferenceTest) -> ()
// CHECK: function_ref @$s1A13InferenceTestV15testAutoclosure6value1ySiyYaYCXK_tYaF : $@convention(method) @async (@sil_isolated @sil_implicit_leading_param @guaranteed Builtin.ImplicitActor, @guaranteed @noescape @async @callee_guaranteed (@sil_isolated @sil_implicit_leading_param @guaranteed Builtin.ImplicitActor) -> Int, @in_guaranteed InferenceTest) -> ()
// CHECK: function_ref @$s1A13InferenceTestV15testAutoclosure6value2ySiyYaYCXK_tYaF : $@convention(method) @async (@sil_isolated @sil_implicit_leading_param @guaranteed Builtin.ImplicitActor, @guaranteed @noescape @async @callee_guaranteed (@sil_isolated @sil_implicit_leading_param @guaranteed Builtin.ImplicitActor) -> Int, @in_guaranteed InferenceTest) -> ()
// CHECK: } // end sil function '$s6Client15testAutoclosure1ty1A13InferenceTestV_tYaF'
func testAutoclosure(t: InferenceTest) async {
await t.testAutoclosure(value1: 42)
await t.testAutoclosure(value2: 42)
}