Skip to content

Commit f95de76

Browse files
Merge pull request swiftlang#31252 from nate-chandler/generic-metadata-prespecialization-components/existential-arguments
[prespecialized metadata] Allow existentials as generic arguments.
2 parents 28103df + ccf6209 commit f95de76

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)