Merge pull request #68630 from slavapestov/fix-rdar115355709

SIL: Fix opaque type erasure after clearing [serialized] flags

Author: slavapestov

lib/SILOptimizer/UtilityPasses/SerializeSILPass.cpp

@@ -57,11 +57,11 @@ class MapOpaqueArchetypes : public SILCloner<MapOpaqueArchetypes> {
              .getTypeExpansionContext()
              .shouldLookThroughOpaqueTypeArchetypes())
       return ty;
-    // Remap types containing opaque result types in the current context.
-    return getBuilder()
-        .getTypeLowering(SILType::getPrimitiveObjectType(ty))
-        .getLoweredType()
-        .getASTType();
+
+    return substOpaqueTypesWithUnderlyingTypes(
+        ty,
+        TypeExpansionContext(getBuilder().getFunction()),
+        /*allowLoweredTypes=*/false);
   }
 
   ProtocolConformanceRef remapConformance(Type ty,

test/SIL/Serialization/opaque_return_type_serialize.swift

@@ -0,0 +1,18 @@
+// RUN: %empty-directory(%t)
+// RUN: %target-swift-frontend -emit-module %s -disable-availability-checking
+
+// We substitute away opaque archetypes after serialization;
+// make sure this correctly handles unlowered types like
+// AST functions and packs.
+
+public func horse<T>(_: T) {}
+
+@_transparent public func packCallee<each T>(_ t: repeat each T) {
+  repeat horse(each t)
+}
+
+@inlinable public func packCaller() {
+  packCallee(opaque())
+}
+
+public func opaque() -> some Any { return 3 }