Skip to content

Commit ccf6209

Browse files
committed
[prespecialized metadata] Allow existential arguments.
1 parent 18d4f63 commit ccf6209

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

lib/IRGen/MetadataRequest.cpp

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -770,12 +770,11 @@ bool irgen::isNominalGenericContextTypeMetadataAccessTrivial(
770770
return genericArgument && genericArgument->isGenericContext() &&
771771
(protocols.size() > 0);
772772
};
773-
auto isExistential = [&]() { return argument->isExistentialType(); };
774773
auto metadataAccessIsTrivial = [&]() {
775774
return irgen::isCompleteTypeMetadataStaticallyAddressable(IGM,
776775
argument->getCanonicalType());
777776
};
778-
return !isGenericWithoutPrespecializedConformance() && !isExistential() &&
777+
return !isGenericWithoutPrespecializedConformance() &&
779778
metadataAccessIsTrivial() && witnessTablesAreReferenceable();
780779
});
781780
return allWitnessTablesAreReferenceable

0 commit comments

Comments
 (0)