`unsafe` is just a barrier between what compiler proves and what programmer proves.

People should really read more on safety semantics in Rust before making comments like this, it's quite annoying to bump into surface level misunderstandings everytime Rust is mentioned somewhere.