Rustのコード1行も書いたことないけど、前にChatGPTさんとAda/SPARK(契約プログラミング環境)とRustのどっちが機械制御等の場面で安全かって激論した時に、
「Rustはむしろ所有権の仕組みこそ他の言語で同等の安全性を確保するコードが冗長になりまくる部分なので、所有権の仕組みのおかげで得られる簡単さこそ、絶対にRustじゃないと無理な部分、SPARKで同じような事をどう書くか想像してみろ」(超意訳)みたいな結論になって「参りました＞＜；」した＞＜(？？)