fix unclear_local_imports in Miri

Author: RalfJung

src/tools/miri/src/borrow_tracker/stacked_borrows/mod.rs

@@ -21,9 +21,9 @@ use crate::borrow_tracker::{
 use crate::concurrency::data_race::{NaReadType, NaWriteType};
 use crate::*;
 
-use diagnostics::{RetagCause, RetagInfo};
-pub use item::{Item, Permission};
-pub use stack::Stack;
+use self::diagnostics::{RetagCause, RetagInfo};
+pub use self::item::{Item, Permission};
+pub use self::stack::Stack;
 
 pub type AllocState = Stacks;
 

src/tools/miri/src/borrow_tracker/tree_borrows/diagnostics.rs

@@ -297,7 +297,7 @@ pub(super) struct TbError<'node> {
 impl TbError<'_> {
     /// Produce a UB error.
     pub fn build<'tcx>(self) -> InterpError<'tcx> {
-        use TransitionError::*;
+        use self::TransitionError::*;
         let cause = self.access_cause;
         let accessed = self.accessed_info;
         let conflicting = self.conflicting_info;

src/tools/miri/src/borrow_tracker/tree_borrows/exhaustive.rs

@@ -14,6 +14,7 @@ macro_rules! precondition {
         }
     };
 }
+#[cfg_attr(not(bootstrap), allow(unclear_local_imports))]
 pub(crate) use precondition;
 
 // Trivial impls of `Exhaustive` for the standard types with 0, 1 and 2 elements respectively.

src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs

@@ -23,8 +23,8 @@ mod unimap;
 #[cfg(test)]
 mod exhaustive;
 
-use perms::Permission;
-pub use tree::Tree;
+use self::perms::Permission;
+pub use self::tree::Tree;
 
 pub type AllocState = Tree;
 

src/tools/miri/src/borrow_tracker/tree_borrows/perms.rs

@@ -36,7 +36,7 @@ enum PermissionPriv {
     /// rejects: all child accesses (UB).
     Disabled,
 }
-use PermissionPriv::*;
+use self::PermissionPriv::*;
 
 impl PartialOrd for PermissionPriv {
     /// PermissionPriv is ordered by the reflexive transitive closure of
@@ -483,14 +483,14 @@ mod propagation_optimization_checks {
 
     impl Exhaustive for AccessKind {
         fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
-            use AccessKind::*;
+            use self::AccessKind::*;
             Box::new(vec![Read, Write].into_iter())
         }
     }
 
     impl Exhaustive for AccessRelatedness {
         fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
-            use AccessRelatedness::*;
+            use self::AccessRelatedness::*;
             Box::new(vec![This, StrictChildAccess, AncestorAccess, DistantAccess].into_iter())
         }
     }
@@ -499,7 +499,7 @@ mod propagation_optimization_checks {
     // For any kind of access, if we do it twice the second should be a no-op.
     // Even if the protector has disappeared.
     fn all_transitions_idempotent() {
-        use transition::*;
+        use self::transition::*;
         for old in PermissionPriv::exhaustive() {
             for (old_protected, new_protected) in <(bool, bool)>::exhaustive() {
                 // Protector can't appear out of nowhere: either the permission was
@@ -525,7 +525,7 @@ mod propagation_optimization_checks {
     #[test]
     #[rustfmt::skip]
     fn foreign_read_is_noop_after_foreign_write() {
-        use transition::*;
+        use self::transition::*;
         let old_access = AccessKind::Write;
         let new_access = AccessKind::Read;
         for old in PermissionPriv::exhaustive() {

src/tools/miri/src/borrow_tracker/tree_borrows/tree.rs

@@ -793,7 +793,7 @@ impl AccessRelatedness {
     /// for the child node. This function assumes that we propagate away from the initial
     /// access.
     pub fn for_child(self) -> Self {
-        use AccessRelatedness::*;
+        use self::AccessRelatedness::*;
         match self {
             AncestorAccess | This => AncestorAccess,
             StrictChildAccess | DistantAccess => DistantAccess,

src/tools/miri/src/borrow_tracker/tree_borrows/tree/tests.rs

@@ -135,7 +135,7 @@ mod spurious_read {
 
     impl Exhaustive for PtrSelector {
         fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
-            use PtrSelector::*;
+            use self::PtrSelector::*;
             Box::new(vec![X, Y, Other].into_iter())
         }
     }
@@ -152,7 +152,7 @@ mod spurious_read {
 
     impl Exhaustive for RelPosXY {
         fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
-            use RelPosXY::*;
+            use self::RelPosXY::*;
             Box::new(vec![MutuallyForeign, XChildY].into_iter())
         }
     }
@@ -178,7 +178,7 @@ mod spurious_read {
         /// or an `AncestorAccess` relative to `y`, but it doesn't really matter
         /// because `DistantAccess.is_foreign() == AncestorAccess.is_foreign()`).
         fn rel_pair(self, xy_rel: RelPosXY) -> (AccessRelatedness, AccessRelatedness) {
-            use AccessRelatedness::*;
+            use self::AccessRelatedness::*;
             match xy_rel {
                 RelPosXY::MutuallyForeign =>
                     match self {

src/tools/miri/src/concurrency/data_race.rs

@@ -1266,7 +1266,7 @@ trait EvalContextPrivExt<'tcx>: MiriInterpCxExt<'tcx> {
         place: &MPlaceTy<'tcx, Provenance>,
         atomic: AtomicRwOrd,
     ) -> InterpResult<'tcx> {
-        use AtomicRwOrd::*;
+        use self::AtomicRwOrd::*;
         let acquire = matches!(atomic, Acquire | AcqRel | SeqCst);
         let release = matches!(atomic, Release | AcqRel | SeqCst);
         let this = self.eval_context_mut();

src/tools/miri/src/concurrency/mod.rs

@@ -7,4 +7,4 @@ pub mod thread;
 mod vector_clock;
 pub mod weak_memory;
 
-pub use vector_clock::VClock;
+pub use self::vector_clock::VClock;

src/tools/miri/src/diagnostics.rs

@@ -59,7 +59,7 @@ pub struct RacingOp {
 
 impl fmt::Display for TerminationInfo {
     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
-        use TerminationInfo::*;
+        use self::TerminationInfo::*;
         match self {
             Exit { code, .. } => write!(f, "the evaluated program completed with exit code {code}"),
             Abort(msg) => write!(f, "{msg}"),
@@ -212,7 +212,7 @@ pub fn report_error<'tcx>(
 
     let (title, helps) = if let MachineStop(info) = e.kind() {
         let info = info.downcast_ref::<TerminationInfo>().expect("invalid MachineStop payload");
-        use TerminationInfo::*;
+        use self::TerminationInfo::*;
         let title = match info {
             Exit { code, leak_check } => return Some((*code, *leak_check)),
             Abort(_) => Some("abnormal termination"),
@@ -579,7 +579,7 @@ pub fn report_msg<'tcx>(
 
 impl<'tcx> MiriMachine<'tcx> {
     pub fn emit_diagnostic(&self, e: NonHaltingDiagnostic) {
-        use NonHaltingDiagnostic::*;
+        use self::NonHaltingDiagnostic::*;
 
         let stacktrace = Frame::generate_stacktrace_from_stack(self.threads.active_thread_stack());
         let (stacktrace, _was_pruned) = prune_stacktrace(stacktrace, self);