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: Allow ProtocolConformanceRef::getAssociatedType() with invalid conformance

Browse Source
This commit is contained in:
Slava Pestov
2024-09-18 11:20:45 -04:00
parent 532e048abb
commit a8ed7ba61d
1 changed files with 24 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

36
lib/AST/ProtocolConformanceRef.cpp
View File

@@ -198,28 +198,40 @@ Type ProtocolConformanceRef::getAssociatedType(Type conformingType,
Type assocType) const {
if (isPack()) {
auto *pack = getPack();
assert(conformingType->isEqual(pack->getType()));
ASSERT(conformingType->isEqual(pack->getType()));
return pack->getAssociatedType(assocType);
}
assert(!isConcrete() || getConcrete()->getType()->isEqual(conformingType));
auto type = assocType->getCanonicalType();
auto proto = getRequirement();
// Fast path for generic parameters.
if (isa<GenericTypeParamType>(type)) {
assert(type->isEqual(proto->getSelfInterfaceType()) &&
if (auto paramTy = dyn_cast<GenericTypeParamType>(type)) {
ASSERT(paramTy->getDepth() == 0 && paramTy->getIndex() == 0 &&
"type parameter in protocol was not Self");
return conformingType;
}
// Fast path for dependent member types on 'Self' of our associated types.
auto memberType = cast<DependentMemberType>(type);
if (memberType.getBase()->isEqual(proto->getSelfInterfaceType()) &&
memberType->getAssocType()->getProtocol() == proto &&
isConcrete())
return getConcrete()->getTypeWitness(memberType->getAssocType());
if (isInvalid())
return ErrorType::get(assocType->getASTContext());
auto proto = getRequirement();
if (isConcrete()) {
if (auto selfType = conformingType->getAs<DynamicSelfType>())
conformingType = selfType->getSelfType();
ASSERT(getConcrete()->getType()->isEqual(conformingType));
// Fast path for dependent member types on 'Self' of our associated types.
auto memberType = cast<DependentMemberType>(type);
if (memberType.getBase()->isEqual(proto->getSelfInterfaceType()) &&
memberType->getAssocType()->getProtocol() == proto) {
auto witnessType = getConcrete()->getTypeWitness(
memberType->getAssocType());
if (!witnessType)
return ErrorType::get(assocType->getASTContext());
return witnessType;
}
}
// General case: consult the substitution map.
auto substMap =