update comments · model-checking/verify-rust-std@55fc20b (original) (raw)

Original file line number Diff line number Diff line change
@@ -1524,9 +1524,6 @@ impl PathBuf {
1524 1524 /// Returns `false` and does nothing if [`self.file_name`] is [`None`],
1525 1525 /// returns `true` and updates the extension otherwise.
1526 1526 ///
1527 - /// If [`self.extension`] is [`None`], the extension is added; otherwise
1528 - /// it is appended.
1529 - ///
1530 1527 /// # Caveats
1531 1528 ///
1532 1529 /// The appended `extension` may contain dots and will be used in its entirety,
@@ -2727,7 +2724,7 @@ impl Path {
2727 2724 new_path
2728 2725 }
2729 2726
2730 -/// Creates an owned [`PathBuf`] like `self` but with an extra extension.
2727 +/// Creates an owned [`PathBuf`] like `self` but with the extension added.
2731 2728 ///
2732 2729 /// See [`PathBuf::add_extension`] for more details.
2733 2730 ///