Auto merge of #147782 - matthiaskrgr:rollup-9728xqu, r=matthiaskrgr

Rollup of 9 pull requests

Successful merges:

 - rust-lang/rust#144438 (Guard HIR lowered contracts with `contract_checks`)
 - rust-lang/rust#147000 (std: Add Motor OS std library port)
 - rust-lang/rust#147576 (Fix ICE on offsetted ZST pointer)
 - rust-lang/rust#147732 (remove duplicate inline macro)
 - rust-lang/rust#147738 (Don't highlight `let` expressions as having type `bool` in let-chain error messages)
 - rust-lang/rust#147744 (miri subtree update)
 - rust-lang/rust#147751 (Use `bit_set::Word` in a couple more places.)
 - rust-lang/rust#147752 (style-guide: fix typo for empty struct advice)
 - rust-lang/rust#147773 (`is_ascii` on an empty string or slice returns true)

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

Author: bors

src/constant.rs

@@ -5,7 +5,9 @@ use std::cmp::Ordering;
 use cranelift_module::*;
 use rustc_data_structures::fx::FxHashSet;
 use rustc_middle::middle::codegen_fn_attrs::CodegenFnAttrFlags;
-use rustc_middle::mir::interpret::{AllocId, GlobalAlloc, Scalar, read_target_uint};
+use rustc_middle::mir::interpret::{
+    AllocId, GlobalAlloc, PointerArithmetic, Scalar, read_target_uint,
+};
 use rustc_middle::ty::{ExistentialTraitRef, ScalarInt};
 
 use crate::prelude::*;
@@ -138,8 +140,11 @@ pub(crate) fn codegen_const_value<'tcx>(
                 let base_addr = match fx.tcx.global_alloc(alloc_id) {
                     GlobalAlloc::Memory(alloc) => {
                         if alloc.inner().len() == 0 {
-                            assert_eq!(offset, Size::ZERO);
-                            fx.bcx.ins().iconst(fx.pointer_type, alloc.inner().align.bytes() as i64)
+                            let val = alloc.inner().align.bytes().wrapping_add(offset.bytes());
+                            fx.bcx.ins().iconst(
+                                fx.pointer_type,
+                                fx.tcx.truncate_to_target_usize(val) as i64,
+                            )
                         } else {
                             let data_id = data_id_for_alloc_id(
                                 &mut fx.constants_cx,