averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

AST: Don't return null Type() from getTypeWitness()

Browse Source
This commit is contained in:
Slava Pestov
2025-10-03 14:01:57 -04:00
parent ea0e0173b4
commit 1731b09a88
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
lib/AST/ProtocolConformanceRef.cpp
View File

@@ -202,8 +202,12 @@ Type ProtocolConformanceRef::getTypeWitness(AssociatedTypeDecl *assocType,
auto conformingType = abstract->getType();
ASSERT(abstract->getProtocol() == assocType->getProtocol());
if (auto *archetypeType = conformingType->getAs<ArchetypeType>())
return archetypeType->getNestedType(assocType);
if (auto *archetypeType = conformingType->getAs<ArchetypeType>()) {
auto witnessType = archetypeType->getNestedType(assocType);
if (!witnessType)
return ErrorType::get(assocType->getASTContext());
return witnessType;
}
return DependentMemberType::get(conformingType, assocType);
}