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

[ConstraintSystem] Don't produce argument mismatch fix when pointer conversions are involved

Browse Source
This commit is contained in:
Pavel Yaskevich
2019-09-03 17:07:24 -07:00
parent 93b39c9c23
commit c946b3862e
1 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
lib/Sema/CSSimplify.cpp
View File

@@ -2583,6 +2583,16 @@ bool ConstraintSystem::repairFailures(
if (hasConversionOrRestriction(ConversionRestrictionKind::DeepEquality))
break;
// If there implicit 'something-to-pointer' conversions involved,
// such conversions are going to be diagnosed by specialized fix
// which deals with generic argument mismatches.
if (hasConversionOrRestriction(ConversionRestrictionKind::ArrayToPointer) ||
hasConversionOrRestriction(ConversionRestrictionKind::InoutToPointer) ||
hasConversionOrRestriction(
ConversionRestrictionKind::PointerToPointer) ||
matchKind == ConstraintKind::BindToPointerType)
break;
// If this is a ~= operator implicitly generated by pattern matching
// let's not try to fix right-hand side of the operator because it's
// a correct contextual type.