mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

rustup for projection interning

Browse Source
This commit is contained in:
Ralf Jung 2019-10-26 09:33:24 +02:00
parent 9566803292
commit d8a3a1f09c
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
rust-version
View File

@ -1 +1 @@
8e0007f829661e57d008d2e908c95f6e84b04b25
084edc426f2e7e4bbedb5c6afa7fc422a52ee379

3
src/helpers.rs
View File

@ -5,6 +5,7 @@ use rustc::hir::def_id::{DefId, CRATE_DEF_INDEX};
use rustc::mir;
use rustc::ty::{
self,
List,
layout::{self, LayoutOf, Size, TyLayout},
};
@ -75,7 +76,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: Box::new([]) };
let place = mir::Place { base: mir::PlaceBase::Local(local), projection: List::empty() };
this.eval_place(&place)
}