make sure we are checking the size of the right thing

This commit is contained in:
Ralf Jung 2020-03-23 11:03:39 +01:00
parent 410385dfd0
commit e619b85776

View File

@ -578,7 +578,7 @@ impl InterpError<'_> {
pub fn allocates(&self) -> bool { pub fn allocates(&self) -> bool {
match self { match self {
// Zero-sized boxes do not allocate. // 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::Unsupported(UnsupportedOpInfo::Unsupported(_))
| InterpError::UndefinedBehavior(UndefinedBehaviorInfo::ValidationFailure(_)) | InterpError::UndefinedBehavior(UndefinedBehaviorInfo::ValidationFailure(_))
| InterpError::UndefinedBehavior(UndefinedBehaviorInfo::Ub(_)) | InterpError::UndefinedBehavior(UndefinedBehaviorInfo::Ub(_))