Not everything can be proved at compile-time, so necessarily Rust is going to complain about things that you know can be done safely in that specific context.

Not everything can be proved at compile-time, so necessarily Rust is going to complain about things that you know can be done safely in that specific context. For example some tree structures are famously PITA in Rust. Yes, possible, but PITA nonetheless.