The quantity of unsafe code in the standard library represents far, far less code than that of the compiler. Furthermore, unsafe blocks don&#x27;t turn off the type system or anything, they only let you do four extra specific actions (possibly only 3 someday). The correctness of the compiler can be leveraged to assist in determining the correctness of the standard library, and living in a typical library structure makes the code easier to understand and audit than if it were entangled up with compiler logic.