At least Rust has a chance to be largely correct because it has much greater effort per amount of code (in the compiler) invested into it than most any application code.

"Largely correct" my 2010 python 2 code is "largely correct".