drop_in_place: weaken the claim of equivalence with drop(ptr.read()) · model-checking/verify-rust-std@07d3009 (original) (raw)

Skip to content

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

Commit 07d3009

drop_in_place: weaken the claim of equivalence with drop(ptr.read())

File tree

1 file changed

lines changed

1 file changed

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number Diff line number Diff line change
@@ -450,7 +450,7 @@ mod mut_ptr;
450 450
451 451 /// Executes the destructor (if any) of the pointed-to value.
452 452 ///
453 -/// This is semantically equivalent to calling [`ptr::read`] and discarding
453 +/// This is almost the same as calling [`ptr::read`] and discarding
454 454 /// the result, but has the following advantages:
455 455 ///
456 456 /// * It is *required* to use `drop_in_place` to drop unsized types like