Merge pull request #63850 from apple/ambiguous-coerce

[Sema] Handle FunctionArgument anchored in coerce expr in getCalleeLocator

Author: LucianoPAlmeida

lib/Sema/ConstraintSystem.cpp

@@ -622,6 +622,12 @@ ConstraintLocator *ConstraintSystem::getCalleeLocator(
   if (isExpr<ObjectLiteralExpr>(anchor))
     return getConstraintLocator(anchor, ConstraintLocator::ConstructorMember);
 
+  if (locator->isLastElement<LocatorPathElt::FunctionArgument>()) {
+    if (auto *CE = getAsExpr<CoerceExpr>(anchor)) {
+      return getConstraintLocator(CE->getSubExpr());
+    }
+  }
+
   return getConstraintLocator(anchor);
 }
 

test/Constraints/overload.swift

@@ -285,3 +285,9 @@ func rdar97396399() {
     }
   }
 }
+
+// https://github.com/apple/swift/issues/63834
+func f63834(int: Int, string: String) {} // expected-note{{found candidate with type '(Int, String) -> ()'}}
+func f63834(int: Int, string: Bool) {} // expected-note{{found candidate with type '(Int, Bool) -> ()'}}
+
+let a = f63834(int:string:) as (Int, Int) -> Void // expected-error{{no exact matches in reference to global function 'f63834'}}