make sure we are checking the size of the right thing

RalfJung · RalfJung · commit e619b85776fe · 2020-03-23T11:03:39.000+01:00
diff --git a/src/librustc/mir/interpret/error.rs b/src/librustc/mir/interpret/error.rs
@@ -578,7 +578,7 @@ impl InterpError<'_> {
     pub fn allocates(&self) -> bool {
         match self {
             // Zero-sized boxes do not allocate.
-            InterpError::MachineStop(b) => mem::size_of_val(&**b) > 0,
+            InterpError::MachineStop(b) => mem::size_of_val::<dyn MachineStopType>(&**b) > 0,
             InterpError::Unsupported(UnsupportedOpInfo::Unsupported(_))
             | InterpError::UndefinedBehavior(UndefinedBehaviorInfo::ValidationFailure(_))
             | InterpError::UndefinedBehavior(UndefinedBehaviorInfo::Ub(_))
