[CodeCompletion] Don't suggest argument labels from unapplicable overload

When matching an argument to a parameter list, if there is no matching
parameter, the argument list is not applicable to the parameters. In
such case, code completion should not suggest argument labels of the
function.

rdar://77867723

Author: rintaro

lib/IDE/ExprContextAnalysis.cpp

@@ -847,9 +847,9 @@ static bool getPositionInParams(DeclContext &DC, Expr *Args, Expr *CCExpr,
     }
 
     if (!AdvancedPosInParams) {
-      // We haven't performed any special advance logic. Assume the argument
-      // and parameter match, so advance PosInParams by 1.
-      ++PosInParams;
+      // If there is no matching argument label. These arguments can't be
+      // applied to the params.
+      return false;
     }
   }
   if (PosInArgs < tuple->getNumElements() && PosInParams < Params.size()) {

test/IDE/complete_call_arg.swift

@@ -933,3 +933,16 @@ func testGenericConstructor() {
 // GENERIC_INITIALIZER-DAG: Pattern/ExprSpecific:               {#text: String#}[#String#]
 // GENERIC_INITIALIZER: End completions
 }
+
+struct Rdar77867723 {
+  enum Horizontal { case east, west }
+  enum Vertical { case up, down }
+  func fn(aaa: Horizontal = .east, bbb: Vertical = .up) {}
+  func fn(ccc: Vertical = .up, ddd: Horizontal = .west) {}
+  func test {
+    self.fn(ccc: .up, #^OVERLOAD_LABEL^#)
+// OVERLOAD_LABEL: Begin completions, 1 items
+// OVERLOAD_LABEL-DAG: Pattern/ExprSpecific:               {#ddd: Horizontal#}[#Horizontal#];
+// OVERLOAD_LABEL: End completions
+  }
+}

test/SourceKit/CodeComplete/complete_type_match.swift

@@ -14,32 +14,32 @@ func takeIntOpt(x: Int, y: Int?)
 func takeString(x: Int, y: String)
 func takeAny(x: Int, y: Any)
 
-takeInt(1, y: #^TOP_LEVEL_0^#)
+takeInt(x: 1, y: #^TOP_LEVEL_0^#)
 // TOP_LEVEL_0-NOT: nil
 // TOP_LEVEL_0: valueZ
 // TOP_LEVEL_0: Int
 // TOP_LEVEL_0: valueA
 // TOP_LEVEL_0: valueS
 
-takeString(1, y: #^TOP_LEVEL_1^#)
+takeString(x: 1, y: #^TOP_LEVEL_1^#)
 // TOP_LEVEL_1: valueS
 // TOP_LEVEL_1: String
 // TOP_LEVEL_1: valueA
 // TOP_LEVEL_1: valueZ
 
-takeAny(1, y: #^TOP_LEVEL_2^#)
+takeAny(x: 1, y: #^TOP_LEVEL_2^#)
 // TOP_LEVEL_2: valueA
 // TOP_LEVEL_2: valueS
 // TOP_LEVEL_2: valueZ
 
-takeIntOpt(1, y: #^TOP_LEVEL_3^#)
+takeIntOpt(x: 1, y: #^TOP_LEVEL_3^#)
 // TOP_LEVEL_3: nil
 // TOP_LEVEL_3: valueZ
 // TOP_LEVEL_3: valueA
 // TOP_LEVEL_3: valueS
 
 func testCrossContext(x: Int, y: String, z: Any) {
-  takeInt(1, y: #^CROSS_CONTEXT_0^#)
+  takeInt(x: 1, y: #^CROSS_CONTEXT_0^#)
 }
 // CROSS_CONTEXT_0: x
 // CROSS_CONTEXT_0: valueZ
@@ -56,7 +56,7 @@ struct FromMethod {
 }
 
 func testFromMethod(x: FromMethod) {
-  takeInt(1, y: x.#^FROM_METHOD_0^#)
+  takeInt(x: 1, y: x.#^FROM_METHOD_0^#)
 }
 // FROM_METHOD_0: valueZ()
 // FROM_METHOD_0: valueA()