Здравствуйте, T4r4sB, Вы писали:

TB>В общем случае компилятор не может предсказать, куда денется ссылка на объект. Поэтому либо переносится нагрузка на рантайм, либо добавляется куча жёстких правил в языке.

Да если бы оно работало А то выходят монстры из портянок с Box/Rc/Arc/Cell которые надо хитро использовать в разных случаях что бы компилятор остался доволен, но они еще и до кучи херят гарантии времени компиляции, добавляют кучу боли, но не делают код безопаснее куда как более простого кода на C++.

Я вообще не могу себе представить причину которая сегодня побудила бы взять Rust, если есть Go, C++, Elixir и куча языков на JVM. ичсх ни один из них не перекладывает работу компилятора на разработчика, даже C++ с его тяжелым наследием.