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

[ConstraintSystem] Fix getEffectiveOverloadType handling of mutating methods

Browse Source
This commit is contained in:
Pavel Yaskevich
2024-12-16 18:57:06 -08:00
parent 95b47aead6
commit c767f7aff7
1 changed files with 9 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
lib/Sema/TypeOfReference.cpp
View File

@@ -1833,11 +1833,15 @@ Type ConstraintSystem::getEffectiveOverloadType(ConstraintLocator *locator,
type, var, useDC, GetClosureType{*this}, type, var, useDC, GetClosureType{*this},
ClosureIsolatedByPreconcurrency{*this}); ClosureIsolatedByPreconcurrency{*this});
} else if (isa<AbstractFunctionDecl>(decl) || isa<EnumElementDecl>(decl)) { } else if (isa<AbstractFunctionDecl>(decl) || isa<EnumElementDecl>(decl)) {
if (decl->isInstanceMember() && if (decl->isInstanceMember()) {
(!overload.getBaseType() || auto baseTy = overload.getBaseType();
(!overload.getBaseType()->getAnyNominal() && if (!baseTy)
!overload.getBaseType()->is<ExistentialType>()))) return Type();
return Type();
baseTy = baseTy->getRValueType();
if (!baseTy->getAnyNominal() && !baseTy->is<ExistentialType>())
return Type();
}
// Cope with 'Self' returns. // Cope with 'Self' returns.
if (!decl->getDeclContext()->getSelfProtocolDecl()) { if (!decl->getDeclContext()->getSelfProtocolDecl()) {