Yes, but sometimes it forces you to write slightly slower code that can be proven safe.

You don't need s whole compiler for that... You can use `unsafe`. Sometimes you don't even need that either!

> forces you

Definitely doesn't, you can just slap unsafe and manipulate raw pointers if that's what you want