Skip to content

Commit b7b4f41

Browse files
committed
AST: Pass allowMissing=true when filling in signature conformances
This fixes an AST verifier failure where code that we otherwise accept (because of loose Sendable checking) causes an assertion because an invalid conformance shows up in the signature conformances list of a valid (from the type checker's POV) normal conformance.
1 parent cd118ea commit b7b4f41

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

lib/AST/ProtocolConformance.cpp

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -873,7 +873,8 @@ void NormalProtocolConformance::finishSignatureConformances() {
873873
if (substTy->hasTypeParameter())
874874
substTy = getDeclContext()->mapTypeIntoContext(substTy);
875875

876-
reqConformances.push_back(module->lookupConformance(substTy, reqProto)
876+
reqConformances.push_back(module->lookupConformance(substTy, reqProto,
877+
/*allowMissing=*/true)
877878
.mapConformanceOutOfContext());
878879
}
879880
setSignatureConformances(reqConformances);

0 commit comments

Comments
 (0)