Auto merge of #136564 - fmease:rollup-qcjjcm7, r=fmease

Rollup of 8 pull requests

Successful merges:

 - #128045 (#[contracts::requires(...)]  + #[contracts::ensures(...)])
 - #136263 (rustdoc: clean up a bunch of ts-expected-error declarations in main)
 - #136375 (cg_llvm: Replace some DIBuilder wrappers with LLVM-C API bindings (part 1))
 - #136392 (bootstrap: add wrapper macros for `feature = "tracing"`-gated `tracing` macros)
 - #136396 (rustdoc-json-types: Document that crate name isn't package name.)
 - #136405 (rustdoc-book: Clean up section on `--output-format`)
 - #136502 (Mark `std::fmt::from_fn` as `#[must_use]`)
 - #136509 (Add tests for nested macro_rules edition behavior)

r? `@ghost`
`@rustbot` modify labels: rollup

Author: bors

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>,