Merge pull request #67407 from sophiapoirier/abstract-tuple-of-sendable-elements

[Variadic Generics] abstract tuple of Sendable elements does not conform to Sendable

Author: sophiapoirier

lib/AST/Module.cpp

@@ -1920,7 +1920,7 @@ LookupConformanceInModuleRequest::evaluate(
     Evaluator &evaluator, LookupConformanceDescriptor desc) const {
   auto *mod = desc.Mod;
   auto type = desc.Ty;
-  auto protocol = desc.PD;
+  auto *protocol = desc.PD;
   ASTContext &ctx = mod->getASTContext();
 
   // A dynamic Self type conforms to whatever its underlying type
@@ -2007,9 +2007,10 @@ LookupConformanceInModuleRequest::evaluate(
     return getBuiltinBuiltinTypeConformance(type, builtinType, protocol);
   }
 
-  // Specific handling of Copyable for pack expansions.
+  // Specific handling of Copyable and Sendable for pack expansions.
   if (auto packExpansion = type->getAs<PackExpansionType>()) {
-    if (protocol->isSpecificProtocol(KnownProtocolKind::Copyable)) {
+    if (protocol->isSpecificProtocol(KnownProtocolKind::Copyable) ||
+        protocol->isSpecificProtocol(KnownProtocolKind::Sendable)) {
       auto patternType = packExpansion->getPatternType();
       return (patternType->isTypeParameter()
                ? ProtocolConformanceRef(protocol)

lib/AST/NameLookupRequests.cpp

@@ -362,10 +362,6 @@ void LookupInModuleRequest::writeDependencySink(
   }
 }
 
-//----------------------------------------------------------------------------//
-// LookupConformanceInModuleRequest computation.
-//----------------------------------------------------------------------------//
-
 void swift::simple_display(llvm::raw_ostream &out,
                            const LookupConformanceDescriptor &desc) {
   out << "looking up conformance to ";
@@ -376,6 +372,10 @@ void swift::simple_display(llvm::raw_ostream &out,
   simple_display(out, desc.Mod);
 }
 
+//----------------------------------------------------------------------------//
+// AnyObjectLookupRequest computation.
+//----------------------------------------------------------------------------//
+
 void AnyObjectLookupRequest::writeDependencySink(
     evaluator::DependencyCollector &reqTracker,
     const QualifiedLookupResult &l) const {

test/Constraints/variadic_generic_types.swift

@@ -56,3 +56,12 @@ do {
     return Test<String, Int, repeat each T>("a", 42, repeat each v) // Ok
   }
 }
+// rdar://107479662 - variadic tuple of Sendable elements does not conform to Sendable
+do {
+  struct Test<each T> : Sendable {
+    let prop: (repeat TestProperty<each T>)
+  }
+
+  struct TestProperty<T> : Sendable {
+  }
+}