Skip to content

Commit

Permalink
drop_in_place: weaken the claim of equivalence with drop(ptr.read())
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed May 29, 2024
1 parent 1aaf0a9 commit 07d3009
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion core/src/ptr/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 07d3009

Please sign in to comment.