diff --git a/src/intrinsic.rs b/src/intrinsic.rs index 6c8fd0af4036..dc2224c4ceef 100644 --- a/src/intrinsic.rs +++ b/src/intrinsic.rs @@ -344,7 +344,7 @@ impl<'a, 'mir, 'tcx> EvalContextExt<'tcx> for EvalContext<'a, 'mir, 'tcx, super: ty::layout::Abi::Scalar(_) => Value::Scalar(Scalar::null()), _ => { // FIXME(oli-obk): pass TyLayout to alloc_ptr instead of Ty - let ptr = this.alloc_ptr(dest_layout.ty)?; + let ptr = this.alloc_ptr(dest_layout)?; let ptr = Scalar::Ptr(ptr); this.memory.write_repeat(ptr, 0, size)?; Value::ByRef(ptr, dest_layout.align) diff --git a/src/validation.rs b/src/validation.rs index caa5b702e61a..676718ad7fe7 100644 --- a/src/validation.rs +++ b/src/validation.rs @@ -140,6 +140,7 @@ impl<'a, 'mir, 'tcx: 'mir + 'a> EvalContextExt<'tcx> for EvalContext<'a, 'mir, ' mir::Place::Static(ref s) => AbsPlace::Static(s.def_id), mir::Place::Projection(ref p) => AbsPlace::Projection(Box::new(self.abstract_place_projection(&*p)?)), + _ => unimplemented!("validation is not currently maintained"), }) }