То что вы не считаете проблемами, но что проблемами является на самом деле в расте решают.
Нет. Потому что там, где будет ссылочная непрозрачность в С++, в Rust будет обмен сообщениями (привет 1990 год и системы типа winapi!) без минимальной записи инвариантов, возникающих между сущностями в коде