Are you saying that Rust is trying to predict the correctness of the program? Sure, parts like deadlocks and memory use, but the whole thing?

This seems to be a common misconception, maybe from interacting with overzealous Rust fan clubbers.