[Diagnostics] Improve warning suggestion for var in for loop

When iterator consists of tuple of variable and iteration only mutates
the tuple partially, improve the warning message from "changing to 'let"
to "changing to 'case let'"

Author: pwongxy

include/swift/AST/DiagnosticsSema.def

@@ -7030,8 +7030,8 @@ WARNING(immutable_value_never_used_but_assigned, NoUsage,
         (Identifier))
 WARNING(variable_never_mutated, none,
         "variable %0 was never mutated; "
-        "consider %select{removing 'var' to make it|changing to 'let'}1 constant",
-        (Identifier, bool))
+        "consider %select{removing 'var' to make it|changing to '%2'}1 constant",
+        (Identifier, bool, StringRef))
 WARNING(variable_never_read, none,
         "variable %0 was written to, but never read",
         (Identifier))

lib/Sema/MiscDiagnostics.cpp

@@ -4102,8 +4102,16 @@ VarDeclUsageChecker::~VarDeclUsageChecker() {
 
       // If this is a parameter explicitly marked 'var', remove it.
       if (FixItLoc.isInvalid()) {
+        bool suggestCaseLet = false;
+        if (auto *stmt = var->getRecursiveParentPatternStmt()) {
+          // Suggest 'var' -> 'case let' conversion
+          // in case of 'for' loop and invalid because it's
+          // tuple variable.
+          suggestCaseLet = isa<ForEachStmt>(stmt);
+        }
+
         Diags.diagnose(var->getLoc(), diag::variable_never_mutated,
-                       var->getName(), true);
+                       var->getName(), true, suggestCaseLet ? "case let": "let");
       }
       else {
         bool suggestLet = true;
@@ -4115,7 +4123,7 @@ VarDeclUsageChecker::~VarDeclUsageChecker() {
         }
 
         auto diag = Diags.diagnose(var->getLoc(), diag::variable_never_mutated,
-                                   var->getName(), suggestLet);
+                                   var->getName(), suggestLet, "let");
 
         if (suggestLet)
           diag.fixItReplace(FixItLoc, "let");

test/decl/var/usage.swift

@@ -563,3 +563,11 @@ func testUselessCastWithInvalidParam(foo: Any?) -> Int {
   if let bar = foo as? Foo { return 42 } // expected-warning {{value 'bar' was defined but never used; consider replacing with boolean test}} {{6-16=}} {{20-23=is}}
   else { return 54 }
 }
+
+// https://github.com/swiftlang/swift/issues/72811
+func testEnumeratedForLoop(a: [Int]) {
+  for var (b, c) in a.enumerated() {  // expected-warning {{variable 'b' was never mutated; consider changing to 'case let' constant}}
+    c = b
+    let _ = c
+  }
+}