[Sema] Mark variables as hole while diagnosing a optional payload

Author: LucianoPAlmeida

lib/Sema/CSSimplify.cpp

@@ -5703,6 +5703,9 @@ bool ConstraintSystem::repairFailures(
   }
 
   case ConstraintLocator::OptionalPayload: {
+    recordAnyTypeVarAsPotentialHole(lhs);
+    recordAnyTypeVarAsPotentialHole(rhs);
+    
     if (repairViaOptionalUnwrap(*this, lhs, rhs, matchKind, conversionsOrFixes,
                                 locator))
       return true;

test/Constraints/overload.swift

@@ -257,3 +257,10 @@ func rdar79672230() {
   var t: MyType = MyType()
   test(&t) // expected-error {{no exact matches in call to local function 'test'}}
 }
+
+// https://github.com/apple/swift/issues/60029
+for (key, values) in oldName { // expected-error{{cannot find 'oldName' in scope; did you mean 'newName'?}}
+  for (idx, value) in values.enumerated() {
+    print(key, idx, value)
+  }
+}