From 76d6f57cdc467875a086531510d7ca8a8947a424 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Santos?= <andrefs@andrefs.com>
Date: Tue, 12 Sep 2023 07:53:32 +0100
Subject: [PATCH] btree_drain_filter got renamed to btree_extract_if

https://github.com/rust-lang/rust/issues/70530
---
 src/lib.rs      | 2 +-
 src/main.rs     | 2 +-
 src/seg_tree.rs | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/lib.rs b/src/lib.rs
index c54a90b..9330627 100644
--- 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
index 592f022..9e7cf8a 100644
--- 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
index 62f48d1..7f87e81 100644
--- 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