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

Sema: Remove 'inferred result type requires explicit coercion' diagnostic

Browse Source
This commit is contained in:
Slava Pestov
2023-11-16 11:24:19 -05:00
parent ef6630f0ac
commit 1b1963e904
8 changed files with 16 additions and 404 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
lib/Sema/CSSimplify.cpp
View File

@@ -13015,19 +13015,6 @@ ConstraintSystem::SolutionKind ConstraintSystem::simplifyApplicableFnConstraint(
result2, opened.second->getExistentialType(), opened.first,
TypePosition::Covariant);
}
// If result type has any erased existential types it requires explicit
// `as` coercion.
if (AddExplicitExistentialCoercion::isRequired(
*this, func2->getResult(), openedExistentials, locator)) {
if (!shouldAttemptFixes())
return SolutionKind::Error;
if (recordFix(AddExplicitExistentialCoercion::create(
*this, result2, getConstraintLocator(locator))))
return SolutionKind::Error;
}
}
// The result types are equivalent.