Merge pull request #71376 from simanerush/pack-argument-fix

SIL: Adjust `isTypeMetadataForLayoutAccessible()` to visit more lowered positions

Author: xedin

lib/SIL/IR/SIL.cpp

@@ -256,6 +256,24 @@ static bool isTypeMetadataForLayoutAccessible(SILModule &M, SILType type) {
   if (type.is<AnyMetatypeType>())
     return true;
 
+  //   - pack expansion types
+  if (auto expansionType = type.getAs<PackExpansionType>()) {
+    auto patternType = SILType::getPrimitiveType(expansionType.getPatternType(),
+                                                 type.getCategory());
+    return isTypeMetadataForLayoutAccessible(M, patternType);
+  }
+
+  //   - lowered pack types
+  if (auto packType = type.getAs<SILPackType>()) {
+    for (auto eltType : packType.getElementTypes()) {
+      if (!isTypeMetadataForLayoutAccessible(
+              M, SILType::getPrimitiveAddressType(eltType)))
+        return false;
+    }
+
+    return true;
+  }
+
   // Otherwise, check that we can fetch the type metadata.
   return M.isTypeMetadataAccessible(type.getASTType());
 }

test/IRGen/variadic_generic_captures.swift

@@ -65,3 +65,8 @@ public func has_witness_table_pack2<each T: Sequence>(t: repeat each T) -> () ->
     where repeat (each T).Element: Sequence {
   return { _ = (repeat (each T).Element.Element).self }
 }
+
+// https://github.com/apple/swift/issues/71455
+func f<each T>(t: (repeat each T)) {
+  let tup = (repeat ((each T).self, each t))
+}