From 4684ffaf2ac5c7bb1467baf4e7f01469488c8ef2 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 5 Sep 2023 17:20:31 +0200 Subject: if -> when --- library/core/src/ptr/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'library/core/src/ptr') diff --git a/library/core/src/ptr/mod.rs b/library/core/src/ptr/mod.rs index 69d775075f3..452800516f7 100644 --- a/library/core/src/ptr/mod.rs +++ b/library/core/src/ptr/mod.rs @@ -795,7 +795,7 @@ pub const fn slice_from_raw_parts_mut(data: *mut T, len: usize) -> *mut [T] { /// /// Behavior is undefined if any of the following conditions are violated: /// -/// * Both `x` and `y` must be [valid] for both reads and writes. They must remain valid even if the +/// * Both `x` and `y` must be [valid] for both reads and writes. They must remain valid even when the /// other pointer is written. (This means if the memory ranges overlap, the two pointers must not /// be subject to aliasing restrictions relative to each other.) /// -- cgit 1.4.1-3-g733a5