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

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.