From 9ef6d49163692108d2e7a17e8c7ddd061544b698 Mon Sep 17 00:00:00 2001
From: NanaChiyo0721 <nanachiyo0721@163.com>
Date: Thu, 13 Aug 2026 22:36:52 +0800
Subject: [PATCH] [ci skip] Clean codes in BufferedLinearRegionFile

---
 .../io/nanachiyo0721/shiroha/data/BufferedLinearRegionFile.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/shiroha-server/src/main/java/io/nanachiyo0721/shiroha/data/BufferedLinearRegionFile.java b/shiroha-server/src/main/java/io/nanachiyo0721/shiroha/data/BufferedLinearRegionFile.java
index 45b390d..5decea6 100644
--- a/shiroha-server/src/main/java/io/nanachiyo0721/shiroha/data/BufferedLinearRegionFile.java
+++ b/shiroha-server/src/main/java/io/nanachiyo0721/shiroha/data/BufferedLinearRegionFile.java
@@ -1417,7 +1417,7 @@ public class BufferedLinearRegionFile implements io.nanachiyo0721.shiroha.data.R
             }
         }
 
-        private void markBucketsSynced(long[] syncedBucketEpochs) {
+        private void markBucketsSynced(long @NonNull [] syncedBucketEpochs) {
             for (int i = 0; i < syncedBucketEpochs.length; i++) {
                 // note: a dirty bucket always has a write epoch >= 1, so 0 = untouched
                 if (syncedBucketEpochs[i] != 0L) {