This is related to Is there a way to implement Index/IndexMut on a Vec<Cell<f32>>
Is the following correct: Rust’s &f32 offers far far greater guarantees than C’s &const float.
A &const float in C/C++ says: I can not change this variable via this ref, however some other piece of code can change it at will.
A rust &f32, due to borrow rules, says: during the lifetime which I hold this ref, NO ONE (outside of unsafe) is allowed to modify the underlying f32.
Is this correct?