Would they also change the aliasing assumptions to something close to C/C++? Otherwise I imagine it would be relatively easy to make mistakes and get "surprises" at runtime thanks to the optimizer.

Isn’t borrow checking only compile time?

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