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

Z>была довольно много случаев когда была неочевидная зависимость данных друг от друга (тип тут "callback"
Z>менят то-то, тут вызывается эта функция и в итоге меняется то-то)
Z>и компилятор это выявлял. Правда я долго разбирался что не нравиться компилятору.
Z>Но так же я бы это делал и в C++ только под давлением стресса, так как у меня был бы "core dump",
Z>и пользователи интересующиеся "а когда же это починят".

Юнит тесты не пишешь что-ли? Детская ошибка которую всегда ловят тесты

UPD. а вот такой подход приносит проблемы в любом языке:

тип тут "callback" менят то-то, тут вызывается эта функция и в итоге меняется то-то

И от проблемного дизайна Rust не спасает, а вот функциональщина тебя бы тут как раз спасла.