Статический анализ, который обеспечивается в Rust'е, позволяет проверять код на безопасность, и одновременно, удивительным образом, производить оптимизации, которые в том же c++ произвести не возможно.  
Вот пример:
> void squareArrayWith100500Items (int* const dest, const int* const source)
> {
>   for (int i=0; i < 100500; ++i) {
>        dest[i] = source[i]*source[i];
>      }
>  }

C++\C, в отличии от нормальных языков, для данной функции не может провести часть оптимизаций и предрасчётов во время компиляции, не может векторизовать этот цикл, не может распараллелить его.
А всё почему?
А потому что не уверен перекрываются ли указатели dest и source. В C99 для этого ввели костыль в виде ключевого слова restrict. В языке просто нет понятия динамического массива, который бы более или менее гарантировал отсутствия перекрытий. Они эмулируются через указатели, которые не может нормально оптимизировать компилятор. И весь stl построен на указателях, оптимизация тоже не возможна.