[Concurrency] Local storage is always default nonisolated.

Author: hborla

lib/Sema/TypeCheckConcurrency.cpp

@@ -6088,9 +6088,16 @@ computeDefaultInferredActorIsolation(ValueDecl *value) {
       // in {distributed} actor-isolated contexts nor in nonisolated
       // contexts.
 
-      // Local declarations must check the isolation of their
-      // decl context.
       if (value->getDeclContext()->isLocalContext()) {
+        // Local storage is always nonisolated; region isolation computes
+        // whether the value is in an actor-isolated region based on
+        // the initializer expression.
+        auto *var = dyn_cast<VarDecl>(value);
+        if (var && var->hasStorage())
+          return {};
+
+        // Other local declarations must check the isolation of their
+        // decl context.
         auto contextIsolation =
             getActorIsolationOfContext(value->getDeclContext());
         if (!contextIsolation.isMainActor())

test/Concurrency/assume_mainactor.swift

@@ -276,7 +276,13 @@ class CustomActorIsolated {
 
 var global = 0
 
-func onMain() {
+func onMain() async {
+  await withTaskGroup { group in
+    group.addTask { }
+
+    await group.next()
+  }
+
   struct Nested {
     // CHECK: // static useGlobal() in Nested #1 in onMain()
     // CHECK-NEXT: // Isolation: global_actor. type: MainActor