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

[Constraint system] Have simplifyOpenedExistentialOfConstraint use openExistentialType

Browse Source 
... rather than re-implementing it.
This commit is contained in:
Doug Gregor
2022-03-08 10:32:29 -08:00
parent 8224335e86
commit 69c998f70a
1 changed files with 2 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
lib/Sema/CSSimplify.cpp
View File

@@ -10128,18 +10128,8 @@ ConstraintSystem::simplifyOpenedExistentialOfConstraint(
if (type2->isAnyExistentialType()) {
// We have the existential side. Produce an opened archetype and bind
// type1 to it.
bool isMetatype = false;
auto instanceTy = type2;
if (auto metaTy = type2->getAs<ExistentialMetatypeType>()) {
isMetatype = true;
instanceTy = metaTy->getExistentialInstanceType();
}
assert(instanceTy->isExistentialType());
Type openedTy =
OpenedArchetypeType::get(instanceTy->getCanonicalType(),
DC->getGenericSignatureOfContext());
if (isMetatype)
openedTy = MetatypeType::get(openedTy, getASTContext());
Type openedTy = openExistentialType(type2, getConstraintLocator(locator))
.first;
return matchTypes(type1, openedTy, ConstraintKind::Bind, subflags, locator);
}
if (!type2->isTypeVariableOrMember())