From e5c00a6b44dc896d11572d4dfebc6b14106dbcdc Mon Sep 17 00:00:00 2001
From: Jacob Peterson <14127217+Petersoj@users.noreply.github.com>
Date: Thu, 20 Nov 2025 13:23:25 -0700
Subject: [PATCH] Match `Varifier` for non-final variables

---
 .../main/java/com/google/errorprone/bugpatterns/Varifier.java    | 1 -
 1 file changed, 1 deletion(-)

diff --git a/core/src/main/java/com/google/errorprone/bugpatterns/Varifier.java b/core/src/main/java/com/google/errorprone/bugpatterns/Varifier.java
index bfe7b1d2028..fb9ea9fcb3d 100644
--- a/core/src/main/java/com/google/errorprone/bugpatterns/Varifier.java
+++ b/core/src/main/java/com/google/errorprone/bugpatterns/Varifier.java
@@ -76,7 +76,6 @@ public Description matchVariable(VariableTree tree, VisitorState state) {
     var symbol = getSymbol(tree);
     ExpressionTree initializer = tree.getInitializer();
     if (!symbol.getKind().equals(LOCAL_VARIABLE)
-        || !isConsideredFinal(symbol)
         || initializer == null
         || hasImplicitType(tree, state)) {
       return NO_MATCH;