[prespecialized metadata] Allow existential arguments.

rintaro · May 22, 2020 · ccf6209 · ccf6209
1 parent 18d4f63
commit ccf6209
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/lib/IRGen/MetadataRequest.cpp b/lib/IRGen/MetadataRequest.cpp
@@ -770,12 +770,11 @@ bool irgen::isNominalGenericContextTypeMetadataAccessTrivial(
       return genericArgument && genericArgument->isGenericContext() && 
         (protocols.size() > 0);
     };
-    auto isExistential = [&]() { return argument->isExistentialType(); };
     auto metadataAccessIsTrivial = [&]() {
       return irgen::isCompleteTypeMetadataStaticallyAddressable(IGM,
                                                 argument->getCanonicalType());
     };
-    return !isGenericWithoutPrespecializedConformance() && !isExistential() && 
+    return !isGenericWithoutPrespecializedConformance() &&
            metadataAccessIsTrivial() && witnessTablesAreReferenceable();
   });
   return allWitnessTablesAreReferenceable