about summary refs log tree commit diff
diff options
context:
space:
mode:
authorThe 8472 <git@infinite-source.de>2023-06-08 18:02:00 +0200
committerThe 8472 <git@infinite-source.de>2023-06-14 09:28:56 +0200
commit0c5f442db425e05de7f57b040a9818186981d952 (patch)
tree61ebecda800f172ee680ef5b212861a966b2bced
parent479be6ac433ce645442671f7723be3fd84b334e5 (diff)
downloadrust-0c5f442db425e05de7f57b040a9818186981d952.tar.gz
rust-0c5f442db425e05de7f57b040a9818186981d952.zip
update miri test
-rw-r--r--src/tools/miri/tests/pass/btreemap.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/tools/miri/tests/pass/btreemap.rs b/src/tools/miri/tests/pass/btreemap.rs
index b7c0406becc..1213f81a6f1 100644
--- a/src/tools/miri/tests/pass/btreemap.rs
+++ b/src/tools/miri/tests/pass/btreemap.rs
@@ -1,7 +1,7 @@
 //@revisions: stack tree
 //@[tree]compile-flags: -Zmiri-tree-borrows
 //@compile-flags: -Zmiri-strict-provenance
-#![feature(btree_drain_filter)]
+#![feature(btree_extract_if)]
 use std::collections::{BTreeMap, BTreeSet};
 use std::mem;
 
@@ -49,8 +49,8 @@ pub fn main() {
     }
     test_all_refs(&mut 13, b.values_mut());
 
-    // Test forgetting the drain.
-    let mut d = b.drain_filter(|_, i| *i < 30);
+    // Test forgetting the extractor.
+    let mut d = b.extract_if(|_, i| *i < 30);
     d.next().unwrap();
     mem::forget(d);
 }