Rust isn't just any programming language. It's specifically designed to have very low (even zero) overhead on top of what the hardware is capable of, and this by necessity exposes how computers work.

In theory a compiler could figure out all the low-level details for the programmer automagically based only on a high-level abstract program, but in practice such approach has never worked well enough, to the point that a "Sufficiently Smart Compiler" is a trope/joke among programming language designers.