diff options
| author | Ralf Jung <post@ralfj.de> | 2024-03-09 13:05:13 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-03-09 13:08:55 +0100 |
| commit | e632e3f9a501daefde13a264e1d0aff54a417510 (patch) | |
| tree | 359398ad1caca9d7bba77599018ea1f0a284537b /compiler/rustc_span/src | |
| parent | 1b427b3bf79c2cd48c75915301be3b009b82dea3 (diff) | |
| download | rust-e632e3f9a501daefde13a264e1d0aff54a417510.tar.gz rust-e632e3f9a501daefde13a264e1d0aff54a417510.zip | |
miri: do not apply aliasing restrictions to Box with custom allocator
Diffstat (limited to 'compiler/rustc_span/src')
| -rw-r--r-- | compiler/rustc_span/src/symbol.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_span/src/symbol.rs b/compiler/rustc_span/src/symbol.rs index 9dadd471247..283c685eaa3 100644 --- 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, |