> just that the borrow checker doesn't fully check here That's incorrect. The borrow checker performs the same checks inside `unsafe` blocks as everywhere else

> just that the borrow checker doesn't fully check here That's incorrect. The borrow checker performs the same checks inside `unsafe` blocks as everywhere else. `unsafe` blocks can perhaps best be summarized as areas of code where memory safety rules are relaxed. The borrow checker deals with ownership, and ownership rules are still fully enforced inside `unsafe` constructs.