From b259ca3e1cdf04985c7d962e8ae7fd66be45add2 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Wed, 7 Oct 2026 07:39:44 -0700
Subject: [PATCH] Test case for issue #8325

---
 .../nullness/jdkannotations/Issue8325.java    | 28 +++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 checker/tests/nullness/jdkannotations/Issue8325.java

diff --git a/checker/tests/nullness/jdkannotations/Issue8325.java b/checker/tests/nullness/jdkannotations/Issue8325.java
new file mode 100644
index 000000000000..66021ef10c93
--- /dev/null
+++ b/checker/tests/nullness/jdkannotations/Issue8325.java
@@ -0,0 +1,28 @@
+// Test case for https://github.com/typetools/checker-framework/issues/8325
+
+import java.util.BitSet;
+import org.checkerframework.checker.nullness.qual.Nullable;
+
+public class Issue8325 {
+
+  @Nullable Object field;
+
+  void clearAll(BitSet bits) {
+    bits.clear();
+  }
+
+  void clearOne(BitSet bits) {
+    bits.clear(0);
+  }
+
+  void clearRange(BitSet bits) {
+    bits.clear(0, 10);
+  }
+
+  void refinementPreserved(BitSet bits) {
+    if (field != null) {
+      bits.clear();
+      field.toString();
+    }
+  }
+}