Skip to content

Commit 1aa5e42

Browse files
author
Vytautas Astrauskas
committed
Move the stack to the evaluator to make Miri compile with the newest Rustc.
1 parent 5c823a1 commit 1aa5e42

20 files changed

+53
-36
lines changed

src/diagnostics.rs

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ pub enum NonHaltingDiagnostic {
4747

4848
/// Emit a custom diagnostic without going through the miri-engine machinery
4949
pub fn report_error<'tcx, 'mir>(
50-
ecx: &InterpCx<'mir, 'tcx, Evaluator<'tcx>>,
50+
ecx: &InterpCx<'mir, 'tcx, Evaluator<'mir, 'tcx>>,
5151
mut e: InterpErrorInfo<'tcx>,
5252
) -> Option<i64> {
5353
use InterpError::*;
@@ -119,13 +119,13 @@ pub fn report_error<'tcx, 'mir>(
119119
/// Report an error or note (depending on the `error` argument) at the current frame's current statement.
120120
/// Also emits a full stacktrace of the interpreter stack.
121121
fn report_msg<'tcx, 'mir>(
122-
ecx: &InterpCx<'mir, 'tcx, Evaluator<'tcx>>,
122+
ecx: &InterpCx<'mir, 'tcx, Evaluator<'mir, 'tcx>>,
123123
title: &str,
124124
span_msg: String,
125125
mut helps: Vec<String>,
126126
error: bool,
127127
) -> Option<i64> {
128-
let span = if let Some(frame) = ecx.stack().last() {
128+
let span = if let Some(frame) = ecx.machine.stack.last() {
129129
frame.current_source_info().unwrap().span
130130
} else {
131131
DUMMY_SP
@@ -157,7 +157,7 @@ fn report_msg<'tcx, 'mir>(
157157

158158
err.emit();
159159

160-
for (i, frame) in ecx.stack().iter().enumerate() {
160+
for (i, frame) in ecx.machine.stack.iter().enumerate() {
161161
trace!("-------------------");
162162
trace!("Frame {}", i);
163163
trace!(" return: {:?}", frame.return_place.map(|p| *p));
@@ -179,7 +179,7 @@ pub fn register_diagnostic(e: NonHaltingDiagnostic) {
179179
DIAGNOSTICS.with(|diagnostics| diagnostics.borrow_mut().push(e));
180180
}
181181

182-
impl<'mir, 'tcx> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
182+
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
183183
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
184184
/// Emit all diagnostics that were registed with `register_diagnostics`
185185
fn process_diagnostics(&self) {

src/eval.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,7 @@ pub fn create_ecx<'mir, 'tcx: 'mir>(
6262
tcx: TyCtxt<'tcx>,
6363
main_id: DefId,
6464
config: MiriConfig,
65-
) -> InterpResult<'tcx, (InterpCx<'mir, 'tcx, Evaluator<'tcx>>, MPlaceTy<'tcx, Tag>)> {
65+
) -> InterpResult<'tcx, (InterpCx<'mir, 'tcx, Evaluator<'mir, 'tcx>>, MPlaceTy<'tcx, Tag>)> {
6666
let tcx_at = tcx.at(rustc_span::source_map::DUMMY_SP);
6767
let param_env = ty::ParamEnv::reveal_all();
6868
let layout_cx = LayoutCx { tcx, param_env };

src/helpers.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ use rand::RngCore;
1212

1313
use crate::*;
1414

15-
impl<'mir, 'tcx> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
15+
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
1616

1717
/// Gets an instance for a path.
1818
fn try_resolve_did<'mir, 'tcx>(tcx: TyCtxt<'tcx>, path: &[&str]) -> Option<DefId> {
@@ -264,7 +264,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
264264
unsafe_cell_action: F,
265265
}
266266

267-
impl<'ecx, 'mir, 'tcx, F> ValueVisitor<'mir, 'tcx, Evaluator<'tcx>>
267+
impl<'ecx, 'mir, 'tcx: 'mir, F> ValueVisitor<'mir, 'tcx, Evaluator<'mir, 'tcx>>
268268
for UnsafeCellVisitor<'ecx, 'mir, 'tcx, F>
269269
where
270270
F: FnMut(MPlaceTy<'tcx, Tag>) -> InterpResult<'tcx>,

src/intptrcast.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ impl Default for GlobalState {
4141
impl<'mir, 'tcx> GlobalState {
4242
pub fn int_to_ptr(
4343
int: u64,
44-
memory: &Memory<'mir, 'tcx, Evaluator<'tcx>>,
44+
memory: &Memory<'mir, 'tcx, Evaluator<'mir, 'tcx>>,
4545
) -> InterpResult<'tcx, Pointer<Tag>> {
4646
let global_state = memory.extra.intptrcast.borrow();
4747
let pos = global_state.int_to_ptr_map.binary_search_by_key(&int, |(addr, _)| *addr);
@@ -73,7 +73,7 @@ impl<'mir, 'tcx> GlobalState {
7373

7474
pub fn ptr_to_int(
7575
ptr: Pointer<Tag>,
76-
memory: &Memory<'mir, 'tcx, Evaluator<'tcx>>,
76+
memory: &Memory<'mir, 'tcx, Evaluator<'mir, 'tcx>>,
7777
) -> InterpResult<'tcx, u64> {
7878
let mut global_state = memory.extra.intptrcast.borrow_mut();
7979
let global_state = &mut *global_state;

src/machine.rs

Lines changed: 22 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -205,7 +205,7 @@ impl<'mir, 'tcx: 'mir> PrimitiveLayouts<'tcx> {
205205
}
206206

207207
/// The machine itself.
208-
pub struct Evaluator<'tcx> {
208+
pub struct Evaluator<'mir, 'tcx> {
209209
/// Environment variables set by `setenv`.
210210
/// Miri does not expose env vars from the host to the emulated program.
211211
pub(crate) env_vars: EnvVars<'tcx>,
@@ -241,13 +241,16 @@ pub struct Evaluator<'tcx> {
241241
/// The "time anchor" for this machine's monotone clock (for `Instant` simulation).
242242
pub(crate) time_anchor: Instant,
243243

244+
/// The call stack.
245+
pub(crate) stack: Vec<Frame<'mir, 'tcx, Tag, FrameData<'tcx>>>,
246+
244247
/// Precomputed `TyLayout`s for primitive data types that are commonly used inside Miri.
245248
/// FIXME: Search through the rest of the codebase for more layout_of() calls that
246249
/// could be stored here.
247250
pub(crate) layouts: PrimitiveLayouts<'tcx>,
248251
}
249252

250-
impl<'tcx> Evaluator<'tcx> {
253+
impl<'mir, 'tcx> Evaluator<'mir, 'tcx> {
251254
pub(crate) fn new(
252255
communicate: bool,
253256
validate: bool,
@@ -271,12 +274,13 @@ impl<'tcx> Evaluator<'tcx> {
271274
panic_payload: None,
272275
time_anchor: Instant::now(),
273276
layouts,
277+
stack: Vec::default(),
274278
}
275279
}
276280
}
277281

278282
/// A rustc InterpCx for Miri.
279-
pub type MiriEvalContext<'mir, 'tcx> = InterpCx<'mir, 'tcx, Evaluator<'tcx>>;
283+
pub type MiriEvalContext<'mir, 'tcx> = InterpCx<'mir, 'tcx, Evaluator<'mir, 'tcx>>;
280284

281285
/// A little trait that's useful to be inherited by extension traits.
282286
pub trait MiriEvalContextExt<'mir, 'tcx> {
@@ -295,7 +299,7 @@ impl<'mir, 'tcx> MiriEvalContextExt<'mir, 'tcx> for MiriEvalContext<'mir, 'tcx>
295299
}
296300

297301
/// Machine hook implementations.
298-
impl<'mir, 'tcx> Machine<'mir, 'tcx> for Evaluator<'tcx> {
302+
impl<'mir, 'tcx> Machine<'mir, 'tcx> for Evaluator<'mir, 'tcx> {
299303
type MemoryKind = MiriMemoryKind;
300304

301305
type FrameExtra = FrameData<'tcx>;
@@ -314,6 +318,20 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for Evaluator<'tcx> {
314318
memory_extra.check_alignment
315319
}
316320

321+
#[inline(always)]
322+
fn stack<'a>(
323+
ecx: &'a InterpCx<'mir, 'tcx, Self>,
324+
) -> &'a [Frame<'mir, 'tcx, Self::PointerTag, Self::FrameExtra>] {
325+
&ecx.machine.stack
326+
}
327+
328+
#[inline(always)]
329+
fn stack_mut<'a>(
330+
ecx: &'a mut InterpCx<'mir, 'tcx, Self>,
331+
) -> &'a mut Vec<Frame<'mir, 'tcx, Self::PointerTag, Self::FrameExtra>> {
332+
&mut ecx.machine.stack
333+
}
334+
317335
#[inline(always)]
318336
fn enforce_validity(ecx: &InterpCx<'mir, 'tcx, Self>) -> bool {
319337
ecx.machine.validate

src/shims/dlsym.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ impl Dlsym {
2020
}
2121
}
2222

23-
impl<'mir, 'tcx> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
23+
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
2424
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
2525
fn call_dlsym(
2626
&mut self,

src/shims/env.rs

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ pub struct EnvVars<'tcx> {
3535

3636
impl<'tcx> EnvVars<'tcx> {
3737
pub(crate) fn init<'mir>(
38-
ecx: &mut InterpCx<'mir, 'tcx, Evaluator<'tcx>>,
38+
ecx: &mut InterpCx<'mir, 'tcx, Evaluator<'mir, 'tcx>>,
3939
mut excluded_env_vars: Vec<String>,
4040
) -> InterpResult<'tcx> {
4141
let target_os = ecx.tcx.sess.target.target.target_os.as_str();
@@ -61,7 +61,7 @@ impl<'tcx> EnvVars<'tcx> {
6161
}
6262

6363
pub(crate) fn cleanup<'mir>(
64-
ecx: &mut InterpCx<'mir, 'tcx, Evaluator<'tcx>>,
64+
ecx: &mut InterpCx<'mir, 'tcx, Evaluator<'mir, 'tcx>>,
6565
) -> InterpResult<'tcx> {
6666
// Deallocate individual env vars.
6767
for (_name, ptr) in ecx.machine.env_vars.map.drain() {
@@ -78,7 +78,7 @@ impl<'tcx> EnvVars<'tcx> {
7878
fn alloc_env_var_as_c_str<'mir, 'tcx>(
7979
name: &OsStr,
8080
value: &OsStr,
81-
ecx: &mut InterpCx<'mir, 'tcx, Evaluator<'tcx>>,
81+
ecx: &mut InterpCx<'mir, 'tcx, Evaluator<'mir, 'tcx>>,
8282
) -> InterpResult<'tcx, Pointer<Tag>> {
8383
let mut name_osstring = name.to_os_string();
8484
name_osstring.push("=");
@@ -89,15 +89,15 @@ fn alloc_env_var_as_c_str<'mir, 'tcx>(
8989
fn alloc_env_var_as_wide_str<'mir, 'tcx>(
9090
name: &OsStr,
9191
value: &OsStr,
92-
ecx: &mut InterpCx<'mir, 'tcx, Evaluator<'tcx>>,
92+
ecx: &mut InterpCx<'mir, 'tcx, Evaluator<'mir, 'tcx>>,
9393
) -> InterpResult<'tcx, Pointer<Tag>> {
9494
let mut name_osstring = name.to_os_string();
9595
name_osstring.push("=");
9696
name_osstring.push(value);
9797
Ok(ecx.alloc_os_str_as_wide_str(name_osstring.as_os_str(), MiriMemoryKind::Env.into()))
9898
}
9999

100-
impl<'mir, 'tcx> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
100+
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
101101
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
102102
fn getenv(&mut self, name_op: OpTy<'tcx, Tag>) -> InterpResult<'tcx, Scalar<Tag>> {
103103
let this = self.eval_context_mut();

src/shims/foreign_items.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ use rustc_ast::attr;
1212

1313
use crate::*;
1414

15-
impl<'mir, 'tcx> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
15+
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
1616
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
1717
/// Returns the minimum alignment for the target architecture for allocations of the given size.
1818
fn min_align(&self, size: u64, kind: MiriMemoryKind) -> Align {

src/shims/foreign_items/posix.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ use crate::*;
99
use rustc_middle::mir;
1010
use rustc_target::abi::{Align, LayoutOf, Size};
1111

12-
impl<'mir, 'tcx> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
12+
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
1313
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
1414
fn emulate_foreign_item_by_name(
1515
&mut self,

src/shims/foreign_items/posix/linux.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
use crate::*;
22
use rustc_middle::mir;
33

4-
impl<'mir, 'tcx> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
4+
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
55
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
66
fn emulate_foreign_item_by_name(
77
&mut self,

src/shims/foreign_items/posix/macos.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
use crate::*;
22
use rustc_middle::mir;
33

4-
impl<'mir, 'tcx> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
4+
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
55
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
66
fn emulate_foreign_item_by_name(
77
&mut self,

src/shims/foreign_items/windows.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ use rustc_target::abi::Size;
55

66
use crate::*;
77

8-
impl<'mir, 'tcx> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
8+
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
99
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
1010
fn emulate_foreign_item_by_name(
1111
&mut self,

src/shims/fs.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,7 @@ impl FileHandler {
6464
}
6565
}
6666

67-
impl<'mir, 'tcx> EvalContextExtPrivate<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
67+
impl<'mir, 'tcx: 'mir> EvalContextExtPrivate<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
6868
trait EvalContextExtPrivate<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
6969
/// Emulate `stat` or `lstat` on `macos`. This function is not intended to be
7070
/// called directly from `emulate_foreign_item_by_name`, so it does not check if isolation is
@@ -232,7 +232,7 @@ impl Default for DirHandler {
232232
}
233233
}
234234

235-
impl<'mir, 'tcx> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
235+
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
236236
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
237237
fn open(
238238
&mut self,

src/shims/intrinsics.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ use rustc_target::abi::{Align, LayoutOf};
77

88
use crate::*;
99

10-
impl<'mir, 'tcx> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
10+
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
1111
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
1212
fn call_intrinsic(
1313
&mut self,

src/shims/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ use rustc_middle::{mir, ty};
1717

1818
use crate::*;
1919

20-
impl<'mir, 'tcx> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
20+
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
2121
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
2222
fn find_mir_or_eval_fn(
2323
&mut self,

src/shims/os_str.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -60,7 +60,7 @@ fn convert_path_separator<'a>(
6060
};
6161
}
6262

63-
impl<'mir, 'tcx> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
63+
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
6464
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
6565
/// Helper function to read an OsString from a null-terminated sequence of bytes, which is what
6666
/// the Unix APIs usually handle.

src/shims/panic.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,7 @@ pub struct CatchUnwindData<'tcx> {
3131
ret: mir::BasicBlock,
3232
}
3333

34-
impl<'mir, 'tcx> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
34+
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
3535
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
3636
/// Check if panicking is supported on this target, and give a good error otherwise.
3737
fn check_panic_supported(&self) -> InterpResult<'tcx> {

src/shims/time.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,8 +13,7 @@ pub fn system_time_to_duration<'tcx>(time: &SystemTime) -> InterpResult<'tcx, Du
1313
.map_err(|_| err_unsup_format!("times before the Unix epoch are not supported").into())
1414
}
1515

16-
17-
impl<'mir, 'tcx> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
16+
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
1817
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
1918
fn clock_gettime(
2019
&mut self,

src/shims/tls.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -154,7 +154,7 @@ impl<'tcx> TlsData<'tcx> {
154154
}
155155
}
156156

157-
impl<'mir, 'tcx> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
157+
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
158158
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
159159
fn run_tls_dtors(&mut self) -> InterpResult<'tcx> {
160160
let this = self.eval_context_mut();

src/stacked_borrows.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -506,7 +506,7 @@ impl Stacks {
506506

507507
/// Retagging/reborrowing. There is some policy in here, such as which permissions
508508
/// to grant for which references, and when to add protectors.
509-
impl<'mir, 'tcx> EvalContextPrivExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
509+
impl<'mir, 'tcx: 'mir> EvalContextPrivExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
510510
trait EvalContextPrivExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
511511
fn reborrow(
512512
&mut self,
@@ -607,7 +607,7 @@ trait EvalContextPrivExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
607607
}
608608
}
609609

610-
impl<'mir, 'tcx> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
610+
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
611611
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
612612
fn retag(&mut self, kind: RetagKind, place: PlaceTy<'tcx, Tag>) -> InterpResult<'tcx> {
613613
let this = self.eval_context_mut();

0 commit comments

Comments
 (0)