安全性に関しては、結局前スレ888の
Rustが保証するのはメモリ安全であって、それ以上の機能を言語自体に期待してはいけないね

という話なんだろうね。
リーナスの「ランタイムエラーでパニックを発生させるのは根本的に問題があると思っている」というのはカーネルだけの話じゃなくてもっと根深い話なんだろうね。