:arrow_up: rust-analyzer

[rust.git] / src / tools / miri / src / lib.rs

diff --git a/src/tools/miri/src/lib.rs b/src/tools/miri/src/lib.rs
index bf4e21319b5262250a357528084918dee3c1b389..e21dca7adc1b442289c73f7d34685695986ac53f 100644 (file)
--- a/src/tools/miri/src/lib.rs
+++ b/src/tools/miri/src/lib.rs
@@ -7,7 +7,7 @@
 #![feature(int_log)]
 #![feature(variant_count)]
 #![feature(yeet_expr)]
-#![feature(is_some_with)]
+#![feature(is_some_and)]
 #![feature(nonzero_ops)]
 #![feature(local_key_cell_methods)]
 // Configure clippy and other lints
@@ -112,7 +112,7 @@
 pub use crate::stacked_borrows::{
     CallId, EvalContextExt as StackedBorEvalContextExt, Item, Permission, SbTag, Stack, Stacks,
 };
-pub use crate::tag_gc::{EvalContextExt as _, VisitMachineValues};
+pub use crate::tag_gc::{EvalContextExt as _, VisitTags};
 
 /// Insert rustc arguments at the beginning of the argument list that Miri wants to be
 /// set per default, for maximal validation power.