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

AST: Move ArchetypeType::resolveNestedType() to GenericEnvironment.cpp

Browse Source
This commit is contained in:
Slava Pestov
2021-07-14 01:08:39 -04:00
parent 323e52e66a
commit 97c57b3972
2 changed files with 33 additions and 32 deletions
Download Patch File Download Diff File Expand all files Collapse all files

32
lib/AST/GenericSignatureBuilder.cpp
View File

@@ -2826,38 +2826,6 @@ PotentialArchetype *PotentialArchetype::getOrCreateNestedType(
return resultPA;
}
void ArchetypeType::resolveNestedType(
std::pair<Identifier, Type> &nested) const {
auto genericEnv = getGenericEnvironment();
auto &builder = *genericEnv->getGenericSignatureBuilder();
Type interfaceType = getInterfaceType();
Type memberInterfaceType =
DependentMemberType::get(interfaceType, nested.first);
auto resolved =
builder.maybeResolveEquivalenceClass(
memberInterfaceType,
ArchetypeResolutionKind::CompleteWellFormed,
/*wantExactPotentialArchetype=*/false);
if (!resolved) {
nested.second = ErrorType::get(interfaceType);
return;
}
Type result;
if (auto concrete = resolved.getAsConcreteType()) {
result = concrete;
} else {
auto *equivClass = resolved.getEquivalenceClass(builder);
result = equivClass->getTypeInContext(builder, genericEnv);
}
assert(!nested.second ||
nested.second->isEqual(result) ||
(nested.second->hasError() && result->hasError()));
nested.second = result;
}
Type GenericSignatureBuilder::PotentialArchetype::getDependentType(
TypeArrayView<GenericTypeParamType> genericParams) const {
auto depType = getDependentType();