Do you see the problem now? You have a whole chapter about unsafe, with 4 major cases. Stdlib is full of unsafe.
And you don't even talk about unsafe threaded code. One of the biggest safety problems nowadays. Memory safety is solved since decades with GC. Concurrency safety also for a few years.