about summary refs log tree commit diff
path: root/library/core/src/alloc
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2024-06-08 11:26:10 +0200
committerRalf Jung <post@ralfj.de>2024-07-10 18:01:06 +0200
commit287b66b0b5cc06b9c0acb01d8a7b0db9ddf764ee (patch)
treeb117ac8233cfb690f6dd89ccd8df83a6e052bfc2 /library/core/src/alloc
parentcd3d98b3bef709c1f42b1964ba7a3ea371f95773 (diff)
downloadrust-287b66b0b5cc06b9c0acb01d8a7b0db9ddf764ee.tar.gz
rust-287b66b0b5cc06b9c0acb01d8a7b0db9ddf764ee.zip
size_of_val_raw: for length 0 this is safe to call
Diffstat (limited to 'library/core/src/alloc')
-rw-r--r--library/core/src/alloc/layout.rs2
1 files changed, 2 insertions, 0 deletions
diff --git a/library/core/src/alloc/layout.rs b/library/core/src/alloc/layout.rs
index 0b92767c932..e96a41422a2 100644
--- a/library/core/src/alloc/layout.rs
+++ b/library/core/src/alloc/layout.rs
@@ -183,6 +183,8 @@ impl Layout {
     ///     - a [slice], then the length of the slice tail must be an initialized
     ///       integer, and the size of the *entire value*
     ///       (dynamic tail length + statically sized prefix) must fit in `isize`.
+    ///       For the special case where the dynamic tail length is 0, this function
+    ///       is safe to call.
     ///     - a [trait object], then the vtable part of the pointer must point
     ///       to a valid vtable for the type `T` acquired by an unsizing coercion,
     ///       and the size of the *entire value*