Skip to content

Commit 5b18703

Browse files
author
The Miri Conjob Bot
committed
fmt
1 parent fad8536 commit 5b18703

File tree

2 files changed

+3
-7
lines changed

2 files changed

+3
-7
lines changed

src/tools/miri/src/diagnostics.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ use std::num::NonZeroU64;
44
use log::trace;
55

66
use rustc_errors::DiagnosticMessage;
7-
use rustc_span::{DUMMY_SP, SpanData, Symbol};
7+
use rustc_span::{SpanData, Symbol, DUMMY_SP};
88
use rustc_target::abi::{Align, Size};
99

1010
use crate::borrow_tracker::stacked_borrows::diagnostics::TagHistory;

src/tools/miri/src/eval.rs

+2-6
Original file line numberDiff line numberDiff line change
@@ -265,12 +265,8 @@ pub fn create_ecx<'mir, 'tcx: 'mir>(
265265
) -> InterpResult<'tcx, InterpCx<'mir, 'tcx, MiriMachine<'mir, 'tcx>>> {
266266
let param_env = ty::ParamEnv::reveal_all();
267267
let layout_cx = LayoutCx { tcx, param_env };
268-
let mut ecx = InterpCx::new(
269-
tcx,
270-
rustc_span::DUMMY_SP,
271-
param_env,
272-
MiriMachine::new(config, layout_cx),
273-
);
268+
let mut ecx =
269+
InterpCx::new(tcx, rustc_span::DUMMY_SP, param_env, MiriMachine::new(config, layout_cx));
274270

275271
// Some parts of initialization require a full `InterpCx`.
276272
MiriMachine::late_init(&mut ecx, config, {

0 commit comments

Comments
 (0)