Try to check local variable for validator

eisop · Aug 19, 2024 · 3c38be5 · 3c38be5
1 parent 9302124
commit 3c38be5
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/framework/src/main/java/org/checkerframework/common/basetype/BaseTypeValidator.java b/framework/src/main/java/org/checkerframework/common/basetype/BaseTypeValidator.java
@@ -142,8 +142,7 @@ protected boolean shouldCheckTopLevelDeclaredOrPrimitiveType(
         if (type.getKind() != TypeKind.DECLARED && !type.getKind().isPrimitive()) {
             return true;
         }
-        return !TreeUtils.isLocalVariable(tree)
-                && (!TreeUtils.isExpressionTree(tree) || TreeUtils.isTypeTree(tree));
+        return !TreeUtils.isExpressionTree(tree) || TreeUtils.isTypeTree(tree);
     }
 
     /**