diff options
| author | Ralf Jung <post@ralfj.de> | 2024-11-21 07:59:07 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-11-21 07:59:07 +0100 |
| commit | ec6fe118d9f11c236288a589113db887cade703c (patch) | |
| tree | 4c4fbb89bcbcdfb75627bf0ce9255f124944e664 /src/tools/miri | |
| parent | f5fd9672837546f921a416122b79f7f24d72dab6 (diff) | |
| download | rust-ec6fe118d9f11c236288a589113db887cade703c.tar.gz rust-ec6fe118d9f11c236288a589113db887cade703c.zip | |
fmt
Diffstat (limited to 'src/tools/miri')
| -rw-r--r-- | src/tools/miri/src/eval.rs | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/tools/miri/src/eval.rs b/src/tools/miri/src/eval.rs index 1d074b09bd3..1df1d08802a 100644 --- a/src/tools/miri/src/eval.rs +++ b/src/tools/miri/src/eval.rs @@ -270,12 +270,8 @@ pub fn create_ecx<'tcx>( ) -> InterpResult<'tcx, InterpCx<'tcx, MiriMachine<'tcx>>> { let typing_env = ty::TypingEnv::fully_monomorphized(); let layout_cx = LayoutCx::new(tcx, typing_env); - let mut ecx = InterpCx::new( - tcx, - rustc_span::DUMMY_SP, - typing_env, - MiriMachine::new(config, layout_cx), - ); + let mut ecx = + InterpCx::new(tcx, rustc_span::DUMMY_SP, typing_env, MiriMachine::new(config, layout_cx)); // Some parts of initialization require a full `InterpCx`. MiriMachine::late_init(&mut ecx, config, { |