Merge pull request swiftlang#80331 from hborla/isolated-sendable-local-function

[Concurrency] Infer `@Sendable` for global actor isolated function references.

Author: hborla

lib/Sema/TypeOfReference.cpp

@@ -817,7 +817,18 @@ FunctionType *ConstraintSystem::adjustFunctionTypeForConcurrency(
         return openType(type, replacements, locator);
       });
 
-  if (Context.LangOpts.hasFeature(Feature::InferSendableFromCaptures)) {
+  // Infer @Sendable for global actor isolated function types under the
+  // upcoming feature flag.
+  if (Context.LangOpts.hasFeature(Feature::GlobalActorIsolatedTypesUsability)
+      && !adjustedTy->getExtInfo().isSendable()) {
+    if (adjustedTy->getExtInfo().getIsolation().isGlobalActor()) {
+      adjustedTy =
+          adjustedTy->withExtInfo(adjustedTy->getExtInfo().withSendable());
+    }
+  }
+
+  if (Context.LangOpts.hasFeature(Feature::InferSendableFromCaptures) &&
+      !adjustedTy->getExtInfo().isSendable()) {
     DeclContext *DC = nullptr;
     if (auto *FD = dyn_cast<AbstractFunctionDecl>(decl)) {
       DC = FD->getDeclContext();

test/Concurrency/global_actor_sendable_fn_type_inference.swift

@@ -20,3 +20,8 @@ func allowNonSendableCaptures() {
     let _ = nonSendable // okay
   }
 }
+
+func testLocalFunctionReference() {
+  @MainActor func f() {}
+  _ = f as any Sendable
+}