Detect constructors by type instead of by name.

...as suggested by typetools/checker-framework#7705.

RELNOTES=n/a
PiperOrigin-RevId: 911968656

Author: cpovirk

refactorings/src/main/java/com/google/common/truth/refactorings/CorrespondenceSubclassToFactoryCall.java

@@ -82,6 +82,7 @@
 import java.util.Objects;
 import java.util.Optional;
 import java.util.Set;
+import javax.lang.model.element.ElementKind;
 import javax.lang.model.element.Modifier;
 import org.jspecify.annotations.Nullable;
 
@@ -91,7 +92,6 @@
  * and used.
  */
 @BugPattern(
-    name = "CorrespondenceSubclassToFactoryCall",
     summary = "Use the factory methods on Correspondence instead of defining a subclass.",
     severity = SUGGESTION)
 public final class CorrespondenceSubclassToFactoryCall extends BugChecker
@@ -274,7 +274,7 @@ private String visibilityModifierOnConstructor(ClassTree tree) {
         tree.getMembers().stream()
             .filter(t -> t instanceof MethodTree)
             .map(t -> (MethodTree) t)
-            .filter(t -> t.getName().contentEquals("<init>"))
+            .filter(t -> getSymbol(t).getKind() == ElementKind.CONSTRUCTOR)
             .findAny()
             .get();
     // We don't include the ModifiersTree directly in case it contains any annotations.
@@ -638,7 +638,7 @@ static MemberType from(Tree tree, VisitorState state) {
       }
       MethodSymbol methodSymbol = (MethodSymbol) symbol;
 
-      if (methodSymbol.getSimpleName().contentEquals("<init>")) {
+      if (methodSymbol.getKind() == ElementKind.CONSTRUCTOR) {
         return CONSTRUCTOR;
       } else if (overrides(methodSymbol, CORRESPONDENCE_CLASS, "compare", state)) {
         return COMPARE_METHOD;