From 204858f5149a465a7594bd461eb745e56eeb9fbc Mon Sep 17 00:00:00 2001
From: Zack Fu Zi Xiang <speed2exe@live.com.sg>
Date: Tue, 17 Sep 2024 22:55:10 +0800
Subject: [PATCH] fix: cargo clippy

---
 src/biz/workspace/publish_dup.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/biz/workspace/publish_dup.rs b/src/biz/workspace/publish_dup.rs
index dfb406a3..18e233fd 100644
--- a/src/biz/workspace/publish_dup.rs
+++ b/src/biz/workspace/publish_dup.rs
@@ -717,7 +717,7 @@ impl PublishCollabDuplicator {
         new_db_view_ids.push(new_db_view_id);
       }
       // if there is no main view id, use the inline view id
-      if let None = self.duplicated_db_main_view.get(&pub_db_id) {
+      if !self.duplicated_db_main_view.contains_key(&pub_db_id) {
         self
           .duplicated_db_main_view
           .insert(pub_db_id.clone(), db_body.get_inline_view_id(&txn));