Place projection field is now Box<[PlaceElem<'tcx>]>

spastorino · spastorino · commit bfe3f9035da8 · 2019-09-14T01:01:37.000-03:00
diff --git a/src/helpers.rs b/src/helpers.rs
@@ -71,7 +71,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
     /// Get the `Place` for a local
     fn local_place(&mut self, local: mir::Local) -> InterpResult<'tcx, PlaceTy<'tcx, Tag>> {
         let this = self.eval_context_mut();
-        let place = mir::Place { base: mir::PlaceBase::Local(local), projection: None };
+        let place = mir::Place { base: mir::PlaceBase::Local(local), projection: Box::new([]) };
         this.eval_place(&place)
     }
 

Original file line number	Diff line number	Diff line change
`@@ -71,7 +71,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx`
`71`	`71`	/// Get the `Place` for a local
`72`	`72`	`fn local_place(&mut self, local: mir::Local) -> InterpResult<'tcx, PlaceTy<'tcx, Tag>> {`
`73`	`73`	`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([]) };`
`75`	`75`	`this.eval_place(&place)`
`76`	`76`	`}`
`77`	`77`