Rust forces you to encode much more explicitly information about lifetimes and ownership into the code. Tools can only do so much without additional information.