Merge pull request swiftlang#18575 from dcci/existentialmetatypes

Author: swift-ci

lib/RemoteAST/RemoteAST.cpp

@@ -1216,6 +1216,26 @@ class RemoteASTContextConcreteImpl final : public RemoteASTContextImpl {
                                                std::move(valueAddress));
   }
 
+  Result<std::pair<Type, RemoteAddress>>
+  getDynamicTypeAndAddressExistentialMetatype(RemoteAddress object) {
+    // The value of the address is just the input address.
+    // The type is obtained through the following sequence of steps:
+    // 1) Loading a pointer from the input address
+    // 2) Reading it as metadata and resolving the type
+    // 3) Wrapping the resolved type in an existential metatype.
+    auto pointed = Reader.readPointedValue(object.getAddressData());
+    if (!pointed)
+      return getFailure<std::pair<Type, RemoteAddress>>();
+    auto typeResult = Reader.readTypeFromMetadata(*pointed);
+    if (!typeResult)
+      return getFailure<std::pair<Type, RemoteAddress>>();
+    auto wrappedType = ExistentialMetatypeType::get(typeResult);
+    if (!wrappedType)
+      return getFailure<std::pair<Type, RemoteAddress>>();
+    return std::make_pair<Type, RemoteAddress>(std::move(wrappedType),
+                                               std::move(object));
+  }
+
   /// Resolve the dynamic type and the value address of an existential,
   /// given its address and its static type. For class and error existentials,
   /// this API takes a pointer to the instance reference rather than the
@@ -1227,9 +1247,9 @@ class RemoteASTContextConcreteImpl final : public RemoteASTContextImpl {
     if (!staticType->isAnyExistentialType())
       return getFailure<std::pair<Type, RemoteAddress>>();
 
-    // TODO: implement support for ExistentialMetaTypes.
+    // Handle the case where this is an ExistentialMetatype.
     if (!staticType->isExistentialType())
-      return getFailure<std::pair<Type, RemoteAddress>>();
+      return getDynamicTypeAndAddressExistentialMetatype(object);
 
     // This should be an existential type at this point.
     auto layout = staticType->getExistentialLayout();

test/RemoteAST/existentials.swift

@@ -46,3 +46,8 @@ enum MyError : Error {
 // CHECK-NEXT: MyError
 let q : Error  = MyError.a
 printDynamicTypeAndAddressForExistential(q)
+
+// Case five: existential metatypes.
+// CHECK-NEXT: Any.Type
+let metatype : Any.Type = Any.self
+printDynamicTypeAndAddressForExistential(metatype)