Fix invalid markdown/html. · model-checking/verify-rust-std@51f20ac (original) (raw)

Original file line number Diff line number Diff line change
@@ -2,7 +2,7 @@
2 2 //!
3 3 //! In core, panicking is always done with a message, resulting in a core::panic::PanicInfo
4 4 //! containing a fmt::Arguments. In std, however, panicking can be done with panic_any, which throws
5 -//! a Box containing any type of value. Because of this, std::panic::PanicInfo is a
5 +//! a `Box` containing any type of value. Because of this, std::panic::PanicInfo is a
6 6 //! different type, which contains a &dyn Any instead of a fmt::Arguments.
7 7 //! std's panic handler will convert the fmt::Arguments to a &dyn Any containing either a
8 8 //! &'static str or String containing the formatted message.