Skip to content

Commit dff1f9f

Browse files
committed
make sure miri ices when dereferencing a box
1 parent 1d1ff36 commit dff1f9f

File tree

1 file changed

+5
-0
lines changed
  • compiler/rustc_const_eval/src/interpret

1 file changed

+5
-0
lines changed

compiler/rustc_const_eval/src/interpret/place.rs

+5
Original file line numberDiff line numberDiff line change
@@ -313,6 +313,11 @@ where
313313
) -> InterpResult<'tcx, MPlaceTy<'tcx, M::PointerTag>> {
314314
let val = self.read_immediate(src)?;
315315
trace!("deref to {} on {:?}", val.layout.ty, *val);
316+
317+
if val.layout.ty.is_box() {
318+
bug!("dereferencing {:?}", val.layout.ty);
319+
}
320+
316321
let mplace = self.ref_to_mplace(&val)?;
317322
self.check_mplace_access(mplace, CheckInAllocMsg::DerefTest)?;
318323
Ok(mplace)

0 commit comments

Comments
 (0)