From e86abc8404471f8bcfa37b9ef282049a8963116e Mon Sep 17 00:00:00 2001
From: Werner Dietl <wdietl@gmail.com>
Date: Mon, 20 Apr 2026 21:37:38 -0400
Subject: [PATCH] Only reset the visitedNodes if they are not empty

---
 .../framework/type/visitor/AnnotatedTypeScanner.java          | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/framework/src/main/java/org/checkerframework/framework/type/visitor/AnnotatedTypeScanner.java b/framework/src/main/java/org/checkerframework/framework/type/visitor/AnnotatedTypeScanner.java
index 4e9f80f1cea..9b7e8990655 100644
--- a/framework/src/main/java/org/checkerframework/framework/type/visitor/AnnotatedTypeScanner.java
+++ b/framework/src/main/java/org/checkerframework/framework/type/visitor/AnnotatedTypeScanner.java
@@ -174,7 +174,9 @@ public void reset() {
         // Instead of re-using the same visitedNodes instance and clear-ing it, profiling showed it
         // to be more efficient to create a new instance.
         // visitedNodes.clear();
-        visitedNodes = new IdentityHashMap<>();
+        if (!visitedNodes.isEmpty()) {
+            visitedNodes = new IdentityHashMap<>();
+        }
     }
 
     /**