Very few OO languages track reference mutability with any level of rigor. In C/C++ most devs don't even know what restrict is or how to write code using it correctly (which is very difficult an bug prone), const is unfortunately not enough.
In fact I don't even know of any production language that handles variable mutability with any rigor other than Rust.
That's more a problem of having mutable references, you'd have the same problem in a procedural language.