[lurr]

> Rust simply makes memory-correctness something the compiler can check

and the latter half of that statement is where things get problematic. Prove it to the compiler has repeatedly been too hard.

[baq]

if it's too hard, drop to unsafe - you have the same guarantees as C++ there.

the real problem is telling when it's impossible, e.g. in recurrent data structures, like linked lists and trees. that takes practice.