Skip to content

Commit

Permalink
update miri test
Browse files Browse the repository at this point in the history
  • Loading branch information
the8472 committed Jun 14, 2023
1 parent 479be6a commit 0c5f442
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/tools/miri/tests/pass/btreemap.rs
Original file line number Diff line number Diff line change
@@ -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;

Expand Down Expand Up @@ -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);
}

0 comments on commit 0c5f442

Please sign in to comment.