Rollup merge of #126266 - tbu-:pr_doc_alloc_default_system, r=jhpratt · model-checking/verify-rust-std@7fafb6d (original) (raw)

Original file line number	Diff line number	Diff line change
@@ -73,7 +73,9 @@ pub use alloc_crate::alloc::*;
73	73	/// work, such as to serve alignment requests greater than the alignment
74	74	/// provided directly by the backing system allocator.
75	75	///
76		-/// This type implements the `GlobalAlloc` trait and Rust programs by default
	76	+/// This type implements the [`GlobalAlloc`] trait. Currently the default
	77	+/// global allocator is unspecified. Libraries, however, like `cdylib`s and
	78	+/// `staticlib`s are guaranteed to use the [`System`] by default and as such
77	79	/// work as if they had this definition:
78	80	///
79	81	/// ```rust