Auto merge of #93081 - nikic:aarch64-fix, r=cuviper

[rust.git] / compiler / rustc_mir_transform / src / check_packed_ref.rs

diff --git a/compiler/rustc_mir_transform/src/check_packed_ref.rs b/compiler/rustc_mir_transform/src/check_packed_ref.rs
index c6661e9c74e9b0a51d280474fce5aa991c1a118f..23d59c8007135c0b91ba9031a28c19d87e7f190a 100644 (file)
--- a/compiler/rustc_mir_transform/src/check_packed_ref.rs
+++ b/compiler/rustc_mir_transform/src/check_packed_ref.rs
@@ -105,6 +105,11 @@ fn visit_place(&mut self, place: &Place<'tcx>, context: PlaceContext, _location:
                                     a misaligned reference is undefined behavior (even if that \
                                     reference is never dereferenced)",
                                 )
+                                .help(
+                                    "copy the field contents to a local variable, or replace the \
+                                    reference with a raw pointer and use `read_unaligned`/`write_unaligned` \
+                                    (loads and stores via `*p` must be properly aligned even when using raw pointers)"
+                                )
                                 .emit()
                         },
                     );