Update doc comment on PanicInfo::message(). · model-checking/verify-rust-std@bc5e618 (original) (raw)

Original file line number Diff line number Diff line change
@@ -29,9 +29,8 @@ impl<'a> PanicInfo<'a> {
29 29 PanicInfo { location, message, can_unwind, force_no_backtrace }
30 30 }
31 31
32 -/// If the `panic!` macro from the `core` crate (not from `std`)
33 - /// was used with a formatting string and some additional arguments,
34 - /// returns that message ready to be used for example with [`fmt::write`]
32 +/// The message that was given to the `panic!` macro,
33 + /// ready to be formatted with e.g. [`fmt::write`].
35 34 #[must_use]
36 35 #[unstable(feature = "panic_info_message", issue = "66745")]
37 36 pub fn message(&self) -> fmt::Arguments<'_> {