This still doesn't solve the problem because there is nothing stopping you from having both immutable & non-immutable references to the same data structure. And

This still doesn't solve the problem because there is nothing stopping you from having both immutable & non-immutable references to the same data structure. And does not enforce that there are no references hanging around when you go from immutable to mutable. Which is precisely what Rust does.