Recognize that checkPositionIndex isn't a lenient-format-string method, either.

Compare c0877ea.

PiperOrigin-RevId: 831582354

Author: cpovirk

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(?!ElementIndex).*")),
+                  .withNameMatching(compile("^check(?!ElementIndex|PositionIndex).*")),
               1),
           new LenientFormatMethod(
               staticMethod()

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

@@ -113,7 +113,7 @@ public void preconditions(int i, Object o) {
   }
 
   @Test
-  public void negativeCheckArgumentIndex() {
+  public void negativeCheckElementIndex() {
     refactoringHelper
         .addInputLines(
             "Test.java",
@@ -125,6 +125,24 @@ public void checkElementIndex(int i, int j) {
     Preconditions.checkElementIndex(i, j + 10);
   }
 }
+""")
+        .expectUnchanged()
+        .doTest();
+  }
+
+  @Test
+  public void negativeCheckPositionIndex() {
+    refactoringHelper
+        .addInputLines(
+            "Test.java",
+"""
+import com.google.common.base.Preconditions;
+
+public class Test {
+  public void checkPositionIndex(int i, int j) {
+    Preconditions.checkPositionIndex(i, j + 10);
+  }
+}
 """)
         .expectUnchanged()
         .doTest();