Skip to content

Commit 4b59d1e

Browse files
committed
Serialization: Add an assertion
1 parent 413da3a commit 4b59d1e

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

lib/Serialization/Serialization.cpp

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1724,7 +1724,10 @@ void Serializer::writeRequirementSignature(
17241724

17251725
for (const auto &typeAlias : requirementSig.getTypeAliases()) {
17261726
rawData.push_back(addDeclBaseNameRef(typeAlias.getName()));
1727-
rawData.push_back(addTypeRef(typeAlias.getUnderlyingType()));
1727+
1728+
auto underlyingType = typeAlias.getUnderlyingType();
1729+
ASSERT(!underlyingType->findUnresolvedDependentMemberType());
1730+
rawData.push_back(addTypeRef(underlyingType));
17281731
}
17291732

17301733
RequirementSignatureLayout::emitRecord(

0 commit comments

Comments
 (0)