One can imagine a world in which Rust allows a `decidable` block and code has stricter guarantees within it.
I imagine it would be a nightmare to work with.
Software “engineers” aren’t responsible for their code the same way professional engineers are. Yet, I’d prefer the embedded system for the supermarket freezer were a nightmare to work with, over a society that is a nightmare to live in because of “cyber.”