Unify guarantees about the default allocator · model-checking/verify-rust-std@c16d8b1

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