"Rust’s unsafe mechanism permits operations whose safety conditions require additional programmer justification, while the borrow checker and other ordinary safety checks remain active."
The official Rust language documentation explains that unsafe enables specific low-level operations without disabling the borrow checker or ordinary checks on references. This distinction establishes why unsafe code can require additional review without being automatically defective. The source year is estimated from the current online documentation edition because the chapter does not display a publication date.
View Source