btree_drain_filter got renamed to btree_extract_if

rust-lang/rust#70530
andrefs · Sep 12, 2023 · 76d6f57 · 76d6f57
1 parent 30fe416
commit 76d6f57
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -1,4 +1,4 @@
-#![feature(btree_drain_filter)]
+#![feature(btree_extract_if)]
 
 pub mod args;
 pub mod counter;

diff --git a/src/main.rs b/src/main.rs
@@ -1,4 +1,4 @@
-#![feature(btree_drain_filter)]
+#![feature(btree_extract_if)]
 
 mod args;
 mod counter;

diff --git a/src/seg_tree.rs b/src/seg_tree.rs
@@ -113,7 +113,7 @@ fn infer_namespaces_aux(h: &mut BTreeSet<NamespaceCandidate>, MIN_NS_SIZE: usize
         let mut found = false;
 
         match h
-            .drain_filter(|item| {
+            .extract_if(|item| {
                 if !found {
                     let suitable = item
                         .node