about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2019-08-08 10:01:41 +0200
committerRalf Jung <post@ralfj.de>2019-08-08 10:01:41 +0200
commite82b053f56d11c944c227cefa6d2c2689346d49e (patch)
tree4e058972fbd69914ca0e73997ee19b1d01c177bc
parentdb7c773a6be2f050d1d1504763819ea3916f5428 (diff)
downloadrust-e82b053f56d11c944c227cefa6d2c2689346d49e.tar.gz
rust-e82b053f56d11c944c227cefa6d2c2689346d49e.zip
move of packed fields might or might not occur when they actually are sufficiently aligned
-rw-r--r--src/libcore/pin.rs3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/libcore/pin.rs b/src/libcore/pin.rs
index 88a56174629..251dc4c3b99 100644
--- a/src/libcore/pin.rs
+++ b/src/libcore/pin.rs
@@ -188,7 +188,8 @@
 //! you do not accidentally use `self`/`this` in a way that is in conflict with pinning.
 //!
 //! Moreover, if your type is `#[repr(packed)]`, the compiler will automatically
-//! move fields around to be able to drop them. As a consequence, you cannot use
+//! move fields around to be able to drop them. In a packed struct, it might even do
+//! that for fields that happen to be sufficiently aligned. As a consequence, you cannot use
 //! pinning with a `#[repr(packed)]` type.
 //!
 //! # Projections and Structural Pinning