[Sema] Produce expected diagnostic for invalid operator usage in loop

Resolves swiftlang#79999

Snippet:

```
func foo(_ a: Int) -> [Int] { [] }
for _ in foo(-) {}
```

Author: Rajveer100

lib/Sema/ConstraintSystem.cpp

@@ -4739,6 +4739,19 @@ void ConstraintSystem::diagnoseFailureFor(SyntacticElementTarget target) {
   } else if (target.getAsUninitializedVar()) {
     DE.diagnose(target.getLoc(), diag::failed_to_produce_diagnostic);
   } else if (target.isForEachPreamble()) {
+    auto forEachStmt = target.getAsForEachStmt();
+    auto sequence = forEachStmt->getParsedSequence();
+    // Fix for a specific case:
+    //
+    // func example(_ a: Int) -> [Int] { [] }
+    // for _ in foo(-) {}
+    for (auto &arg: sequence->getArgs()->getArgExprs()) {
+      if (auto *overloadedDeclRefExpr = dyn_cast<OverloadedDeclRefExpr>(arg)) {
+        DE.diagnose(target.getLoc(), diag::type_of_expression_is_ambiguous)
+            .highlight(target.getSourceRange());
+        return;
+      }
+    }
     DE.diagnose(target.getLoc(), diag::failed_to_produce_diagnostic);
   } else {
     // Emit a poor fallback message.