Skip to content

Commit d76c2c5

Browse files
committed
Auto merge of #2119 - RalfJung:glob, r=RalfJung
data_race: use glob import like most files
2 parents 3f111c1 + fde0220 commit d76c2c5

File tree

1 file changed

+1
-5
lines changed

1 file changed

+1
-5
lines changed

src/data_race.rs

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -72,11 +72,7 @@ use rustc_index::vec::{Idx, IndexVec};
7272
use rustc_middle::{mir, ty::layout::TyAndLayout};
7373
use rustc_target::abi::Size;
7474

75-
use crate::{
76-
AllocId, AllocRange, HelpersEvalContextExt, ImmTy, Immediate, InterpResult, MPlaceTy,
77-
MemoryKind, MiriEvalContext, MiriEvalContextExt, MiriMemoryKind, OpTy, Pointer, RangeMap,
78-
Scalar, ScalarMaybeUninit, Tag, ThreadId, VClock, VTimestamp, VectorIdx,
79-
};
75+
use crate::*;
8076

8177
pub type AllocExtra = VClockAlloc;
8278

0 commit comments

Comments
 (0)