+ /// Write an `Immediate` to memory.
+ #[inline(always)]
+ pub fn write_immediate_to_mplace(
+ &mut self,
+ src: Immediate<M::PointerTag>,
+ dest: MPlaceTy<'tcx, M::PointerTag>,
+ ) -> InterpResult<'tcx> {
+ self.write_immediate_to_mplace_no_validate(src, dest)?;
+
+ if M::enforce_validity(self) {
+ // Data got changed, better make sure it matches the type!
+ self.validate_operand(dest.into(), vec![], None, /*const_mode*/ false)?;
+ }
+
+ Ok(())
+ }
+