Merge pull request #81983 from DougGregor/non-sendable-metatype-suppress

Only emit the non-sendable metatype capture diagnostic under region-based isolation

Author: DougGregor

lib/Sema/TypeCheckConcurrency.cpp

@@ -3052,7 +3052,8 @@ namespace {
         }
       }
 
-      if (mayExecuteConcurrentlyWith(
+      if (ctx.LangOpts.hasFeature(Feature::RegionBasedIsolation) &&
+          mayExecuteConcurrentlyWith(
               localFunc.getAsDeclContext(), getDeclContext(),
               /*includeSending*/true)) {
         auto innermostGenericDC = localFunc.getAsDeclContext();

test/Concurrency/sendable_metatype_swift5.swift

@@ -0,0 +1,13 @@
+// RUN: %target-typecheck-verify-swift -swift-version 5
+
+// REQUIRES: concurrency
+
+protocol P {
+  static func doSomething()
+}
+
+func doSomethingStatic<T: P>(_: T.Type) {
+  Task { @concurrent in
+    T.doSomething()
+  }
+}