diff options
| author | The 8472 <git@infinite-source.de> | 2023-06-08 18:02:00 +0200 |
|---|---|---|
| committer | The 8472 <git@infinite-source.de> | 2023-06-14 09:28:56 +0200 |
| commit | 0c5f442db425e05de7f57b040a9818186981d952 (patch) | |
| tree | 61ebecda800f172ee680ef5b212861a966b2bced | |
| parent | 479be6ac433ce645442671f7723be3fd84b334e5 (diff) | |
| download | rust-0c5f442db425e05de7f57b040a9818186981d952.tar.gz rust-0c5f442db425e05de7f57b040a9818186981d952.zip | |
update miri test
| -rw-r--r-- | src/tools/miri/tests/pass/btreemap.rs | 6 |
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); } |
