Comment My experience (Score 1) 160
I wrote code for an air traffic communications system. This stuff had to be reliable.
The code ran on the metal - no operating system - which helped. I devised my own memory allocation strategy, used the MMU to leave unmapped pages between allocations in the hope that bugs would show up sooner rather than later, took extreme care with casts and pointers and blah, blah, blah.
And one day I came within 12 hours of forcing a major airport to close because I had made a booboo.
For cases where it really does matter (and I would argue that anything to do with aviation counts here) an additional layer of checking is worth using if it is available.
No, I'm not going to go back and rewrite the whole thing in Rust - I'm retired now - but I would hope that whoever is writing safety critical code these days has the sense to consider it.