We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 479be6a commit 0c5f442Copy full SHA for 0c5f442
src/tools/miri/tests/pass/btreemap.rs
@@ -1,7 +1,7 @@
1
//@revisions: stack tree
2
//@[tree]compile-flags: -Zmiri-tree-borrows
3
//@compile-flags: -Zmiri-strict-provenance
4
-#![feature(btree_drain_filter)]
+#![feature(btree_extract_if)]
5
use std::collections::{BTreeMap, BTreeSet};
6
use std::mem;
7
@@ -49,8 +49,8 @@ pub fn main() {
49
}
50
test_all_refs(&mut 13, b.values_mut());
51
52
- // Test forgetting the drain.
53
- let mut d = b.drain_filter(|_, i| *i < 30);
+ // Test forgetting the extractor.
+ let mut d = b.extract_if(|_, i| *i < 30);
54
d.next().unwrap();
55
mem::forget(d);
56
0 commit comments