Skip to content

Commit 89032e4

Browse files
committed
[AST] Check the signature of a nominal type before forming a conformance.
The introduction of the request-evaluator is causing some conformances to be formed before the nominal type's signature is being checked, causing a crash while type-checking the standard library. Ensure that this cannot happen.
1 parent fc7b3c9 commit 89032e4

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

lib/AST/ConformanceLookupTable.cpp

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -817,6 +817,8 @@ ConformanceLookupTable::getConformance(NominalTypeDecl *nominal,
817817
if (auto resolver = nominal->getASTContext().getLazyResolver()) {
818818
if (auto ED = dyn_cast<ExtensionDecl>(conformingDC)) {
819819
resolver->resolveExtension(ED);
820+
} else {
821+
resolver->resolveDeclSignature(cast<NominalTypeDecl>(conformingDC));
820822
}
821823
}
822824

0 commit comments

Comments
 (0)