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.

I mean, Rust's whole shtick is safety, so that's really the only thing there is to "push" about the language.

> not even Rust is free from hand waving.

It is moral though, so who cares really.