From 07d3009644f8662afa250d26bfedb9cb7dcce7bc Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 29 May 2024 21:53:44 +0200 Subject: [PATCH] drop_in_place: weaken the claim of equivalence with drop(ptr.read()) --- core/src/ptr/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/core/src/ptr/mod.rs b/core/src/ptr/mod.rs index d2bbdc84d4dd1..51eb2bb4f0e08 100644 --- a/core/src/ptr/mod.rs +++ b/core/src/ptr/mod.rs @@ -450,7 +450,7 @@ mod mut_ptr; /// Executes the destructor (if any) of the pointed-to value. /// -/// This is semantically equivalent to calling [`ptr::read`] and discarding +/// This is almost the same as calling [`ptr::read`] and discarding /// the result, but has the following advantages: /// /// * It is *required* to use `drop_in_place` to drop unsized types like