rust学習してるんだけど
コンパイル時検査で並列処理の安全性（可変参照が1つである事）を証明できるんだろうか？
実行時に借用チェックが行われてるという説明があったけどそれは必要なの？