Preconditions.checkElementIndex isn't a lenient format string method

PiperOrigin-RevId: 831305566

Author: cushon

core/src/main/java/com/google/errorprone/bugpatterns/formatstring/LenientFormatStringUtils.java

@@ -46,7 +46,7 @@ public static int getLenientFormatStringPosition(ExpressionTree tree, VisitorSta
           new LenientFormatMethod(
               staticMethod()
                   .onClass("com.google.common.base.Preconditions")
-                  .withNameMatching(compile("^check.*")),
+                  .withNameMatching(compile("^check(?!ElementIndex).*")),
               1),
           new LenientFormatMethod(
               staticMethod()

core/src/test/java/com/google/errorprone/bugpatterns/formatstring/FormatStringShouldUsePlaceholdersTest.java

@@ -111,4 +111,22 @@ public void preconditions(int i, Object o) {
 """)
         .doTest();
   }
+
+  @Test
+  public void negativeCheckArgumentIndex() {
+    refactoringHelper
+        .addInputLines(
+            "Test.java",
+"""
+import com.google.common.base.Preconditions;
+
+public class Test {
+  public void checkElementIndex(int i, int j) {
+    Preconditions.checkElementIndex(i, j + 10);
+  }
+}
+""")
+        .expectUnchanged()
+        .doTest();
+  }
 }