Update mod.rs · patricklam/verify-rust-std@c33b3df (original) (raw)

Original file line number Diff line number Diff line change
@@ -612,7 +612,7 @@ pub const fn needs_drop<T: ?Sized>() -> bool {
612 612 ///
613 613 /// There is no guarantee that an all-zero byte-pattern represents a valid value
614 614 /// of some type `T`. For example, the all-zero byte-pattern is not a valid value
615 -/// for reference types (`&T`, `&mut T`) and functions pointers. Using `zeroed`
615 +/// for reference types (`&T`, `&mut T`) and function pointers. Using `zeroed`
616 616 /// on such types causes immediate [undefined behavior][ub] because [the Rust
617 617 /// compiler assumes][inv] that there always is a valid value in a variable it
618 618 /// considers initialized.