Skip to content

Commit 508fdb8

Browse files
committed
Auto merge of #951 - spastorino:place-2-0, r=RalfJung
Place projection field is now Box<[PlaceElem<'tcx>]> Closes rust-lang/rust#64441
2 parents a34d694 + 5ecb2d9 commit 508fdb8

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

rust-version

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
eb48d6bdee6c655d71f26594d47d232adf3e4e93
1+
b35ebac96102cd12406d9d87827b0838d129c278

src/helpers.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -71,7 +71,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
7171
/// Get the `Place` for a local
7272
fn local_place(&mut self, local: mir::Local) -> InterpResult<'tcx, PlaceTy<'tcx, Tag>> {
7373
let this = self.eval_context_mut();
74-
let place = mir::Place { base: mir::PlaceBase::Local(local), projection: None };
74+
let place = mir::Place { base: mir::PlaceBase::Local(local), projection: Box::new([]) };
7575
this.eval_place(&place)
7676
}
7777

0 commit comments

Comments
 (0)