Rollup merge of #122233 - RalfJung:custom-alloc-box, r=oli-obk

miri: do not apply aliasing restrictions to Box with custom allocator This is the Miri side of https://github.com/rust-lang/rust/pull/122018. The "intrinsics with body" made this much more pleasant. :) Fixes https://github.com/rust-lang/miri/issues/3341. r? `@oli-obk`
2024-03-09 16:21:20 +01:00
parent 2bb4b9901f e632e3f9a5
commit b14e8054af
12 changed files with 250 additions and 35 deletions
--- a/compiler/rustc_span/src/symbol.rs
+++ b/compiler/rustc_span/src/symbol.rs
@@ -1450,6 +1450,7 @@ symbols! {
        residual,
        result,
        resume,
+        retag_box_to_raw,
        return_position_impl_trait_in_trait,
        return_type_notation,
        rhs,