My understanding is that D uses bitwise immutability for thread safety and optimization, problems that Rust tackles through different means. Coming from C++, I find logical immutability very useful, as it allows one to see intent and reason about behavior independently of implementation.