Get rid of drain_filter

It seems it was removed from nightly
matzipan · Jul 4, 2023 · d13d19c · d13d19c
1 parent 1b58291
commit d13d19c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/src/main.rs b/src/main.rs
@@ -1,5 +1,3 @@
-#![feature(hash_drain_filter)]
-
 #[macro_use]
 extern crate serde_derive;
 

diff --git a/src/services/store.rs b/src/services/store.rs
@@ -412,8 +412,8 @@ impl Store {
         );
 
         let ids_not_on_server: Vec<_> = store_folder_uids
-            // We use drain_filter to avoid an extra copy to gain ownership
-            .drain_filter(|uid, _| !server_uid_set.contains(&(*uid as u32)))
+            .into_iter()
+            .filter(|(uid, _)| !server_uid_set.contains(&(*uid as u32)))
             .map(|(_, id)| id)
             .collect();