Merge pull request #4180 from rust-lang/rustup-2025-02-06

Automatic Rustup

Author: oli-obk

rust-version

@@ -1 +1 @@
-8df89d1cb077cd76013d3f9f5a4e92c5b5a9280c
+30865107cb8942ab8eaf9baf8d3aa2a6dec2643f

src/machine.rs

@@ -1150,6 +1150,11 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
         interp_ok(ecx.tcx.sess.ub_checks())
     }
 
+    #[inline(always)]
+    fn contract_checks(ecx: &InterpCx<'tcx, Self>) -> InterpResult<'tcx, bool> {
+        interp_ok(ecx.tcx.sess.contract_checks())
+    }
+
     #[inline(always)]
     fn thread_local_static_pointer(
         ecx: &mut MiriInterpCx<'tcx>,