[ConstraintSystem] Skip sendability check for static members

Such members only capture base metatatypes which are themselves
always sendable.

Author: xedin

lib/Sema/ConstraintSystem.cpp

@@ -2806,7 +2806,9 @@ ConstraintSystem::getTypeOfMemberReference(
     FunctionType::ExtInfo info;
 
     if (Context.LangOpts.hasFeature(Feature::InferSendableFromCaptures)) {
-      if (isPartialApplication(locator) && baseOpenedTy->isSendableType()) {
+      if (isPartialApplication(locator) &&
+          (resolvedBaseTy->is<AnyMetatypeType>() ||
+           baseOpenedTy->isSendableType())) {
         // Add @Sendable to functions without conditional conformances
         functionType =
             functionType

test/Concurrency/sendable_functions.swift

@@ -46,3 +46,19 @@ extension S: Sendable where T: Sendable {
 
 @available(SwiftStdlib 5.1, *)
 @MainActor @Sendable func globalActorFuncAsync() async { }
+
+func test_initializer_ref() {
+  func test<T>(_: @Sendable (T, T) -> Array<T>) {
+  }
+
+  // Type of `initRef` should be @Sendable but due to implicitly injected autoclosure it isn't
+  let initRef = Array.init as (Int, Int) -> Array<Int>
+
+  // FIXME: incorrect non-Sendable diagnostic is produced due to `autoclosure` wrapping `Array.init`
+  test(initRef)
+  // expected-warning@-1 {{onverting non-sendable function value to '@Sendable (Int, Int) -> Array<Int>' may introduce data races}}
+
+  // FIXME: Same here
+  test(Array.init as (Int, Int) -> Array<Int>)
+  // expected-warning@-1 {{onverting non-sendable function value to '@Sendable (Int, Int) -> Array<Int>' may introduce data races}}
+}