Safe Rust исключает определенный тип ошибок, которые популярны в C/C++. Никто никогда и не обещал, что Rust избавит от любых логических ошибок. Если вы подобные обещания встречали - приведите, пожалуйста, на них ссылки.А каким образом вы предлагаете "прикрутить" Borrow checker к C++? Вы уверены, что это возможно?
Что касается Mozilla, не будем рассматривать другие проекты, возьмем Firefox: согласно этой статистике https://4e6.github.io/firefox-lang-stats/ доля кода на Rust в Firefox за два года выросла с 6.7% до 9.5% (с 1788665 до 3017935 строк кода). Так что нельзя сказать, что Rust в Mozilla не применяется.
Вообще, можете посмотреть на этой странице, кто и как использует Rust в продакшене: https://www.rust-lang.org/production/users Список не полный, но общее представление дает.