Это догадка или раст компилятор реально предполагает, что многопоточности нет?
это вообще общее поведение современных компиляторов/абстрактной машины C.
Если бы этого предположения небыло, а было бы наоборот - компилятор ожидал бы что каждый доступ к памяти к тому же элементу может дать разный результат то в таком случае список оптимизаций был бы куда скуднее.
у тебя в default найтли фича, cargo build --no-default-features падает уже на #![cfg_attr(all(feature = "alloc", not(feature = "std")), feature(alloc)) в curve25519-dalek-2.0.0