- ty::Adt(def, ..) if def.is_box() => {
- let unique = self.ecx.operand_field(value, 0)?;
- let nonnull = self.ecx.operand_field(&unique, 0)?;
- let ptr = self.ecx.operand_field(&nonnull, 0)?;
- self.check_safe_pointer(&ptr, "box")?;
-
- // Check other fields of Box
- self.walk_value(value)?;
- Ok(true)
- }