about summary refs log tree commit diff
diff options
context:
space:
mode:
authorJoshua Liebow-Feeser <joshlf@users.noreply.github.com>2023-11-03 06:41:23 -0700
committerGitHub <noreply@github.com>2023-11-03 06:41:23 -0700
commit1a0309afb62b01002c1ac2466a6af0dc69594596 (patch)
tree8ec2776f542cc5feba839ae755c5a6bd3645d281
parent55487e235b106088ced4e5b4710fa8f9674baaf9 (diff)
downloadrust-1a0309afb62b01002c1ac2466a6af0dc69594596.tar.gz
rust-1a0309afb62b01002c1ac2466a6af0dc69594596.zip
Update primitive_docs.rs
-rw-r--r--library/core/src/primitive_docs.rs5
1 files changed, 3 insertions, 2 deletions
diff --git a/library/core/src/primitive_docs.rs b/library/core/src/primitive_docs.rs
index 19ff41697d9..939342c4d97 100644
--- a/library/core/src/primitive_docs.rs
+++ b/library/core/src/primitive_docs.rs
@@ -1393,8 +1393,9 @@ mod prim_usize {}
 /// # Safety
 ///
 /// For all types, `T: ?Sized`, and for all `t: &T` or `t: &mut T`, unsafe code may assume that
-/// the following properties hold. It is undefined behavior to produce a `t: &T` or `t: &mut T`
-/// which violates any of these properties.
+/// the following properties hold. Rust programmers must assume that, unless explicitly stated
+/// otherwise, any Rust code they did not author themselves may rely on these properties, and that
+/// violating them may cause that code to exhibit undefined behavior.
 ///
 /// * `t` is aligned to `align_of_val(t)`
 /// * `t` is dereferenceable for `size_of_val(t)` many bytes