AST: Remove GenericSignature parameter from OpenedArchetypeType::get()

This commit is contained in:
Slava Pestov
2024-08-19 23:46:17 -04:00
parent e6c3ac87c9
commit 0c2f28fd3d
33 changed files with 95 additions and 204 deletions

View File

@@ -11421,8 +11421,7 @@ ConstraintSystem::simplifyValueWitnessConstraint(
// conformance.
if (baseObjectType->isExistentialType()) {
baseObjectType =
OpenedArchetypeType::get(baseObjectType->getCanonicalType(),
useDC->getGenericSignatureOfContext());
OpenedArchetypeType::get(baseObjectType->getCanonicalType());
}
// Check conformance to the protocol. If it doesn't conform, this constraint